孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

Basic Proof Theory

Basic Proof Theory
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 著 , 著
出版社: Cambridge University Press
2000-07
ISBN: 9780521779111
定价: 370.20
装帧: 平装
开本: 其他
纸张: 其他
页数: 432页
正文语种: 英语
分类: 外文古旧书>英文书>计算机与互联网
  • Thisintroductiontothebasicideasofstructuralprooftheorycontainsathoroughdiscussionandcomparisonofvarioustypesofformalizationoffirst-orderlogic.Examplesaregivenofseveralareasofapplication,namely:themetamathematicsofpurefirst-orderlogic(intuitionisticaswellasclassical);thetheoryoflogicprogramming;categorytheory;modallogic;linearlogic;first-orderarithmeticandsecond-orderlogic.Ineachcasetheaimistoillustratethemethodsinrelativelysimplesituationsandthenapplythemelsewhereinmuchmorecomplexsettings.Therearenumerousexercisesthroughoutthetext.Ingeneral,theonlyprerequisiteisastandardcourseinfirst-orderlogic,makingthebookidealforgraduatestudentsandbeginningresearchersinmathematicallogic,theoreticalcomputerscienceandartificialintelligence.Forthenewedition,manysectionshavebeenrewrittentoimproveclarity,newsectionshavebeenaddedoncutelimination,andsolutionstoselectedexerciseshavebeenincluded.
  • 内容简介:
    Thisintroductiontothebasicideasofstructuralprooftheorycontainsathoroughdiscussionandcomparisonofvarioustypesofformalizationoffirst-orderlogic.Examplesaregivenofseveralareasofapplication,namely:themetamathematicsofpurefirst-orderlogic(intuitionisticaswellasclassical);thetheoryoflogicprogramming;categorytheory;modallogic;linearlogic;first-orderarithmeticandsecond-orderlogic.Ineachcasetheaimistoillustratethemethodsinrelativelysimplesituationsandthenapplythemelsewhereinmuchmorecomplexsettings.Therearenumerousexercisesthroughoutthetext.Ingeneral,theonlyprerequisiteisastandardcourseinfirst-orderlogic,makingthebookidealforgraduatestudentsandbeginningresearchersinmathematicallogic,theoreticalcomputerscienceandartificialintelligence.Forthenewedition,manysectionshavebeenrewrittentoimproveclarity,newsectionshavebeenaddedoncutelimination,andsolutionstoselectedexerciseshavebeenincluded.
查看详情
相关分类
Literature&Fiction文学与虚构 ScienceFiction&Fantasy科幻与玄幻 Romance浪漫小说 Mystery&Thrillers神秘与惊悚 Teens青少年读物 Biographies&Memoirs传记与自传 Comics&GraphicNovels动漫与绘画小说 ELT英语学习 Reference参考书 StandardTest标准考试 Business&Investing商业与投资 Self-Help励志自助 ManagementLeadership经营管理 Arts&Photography艺术与摄影
相关图书 / 更多
Basic Proof Theory
Basic Engineering Geology 工程地质基础
王涛
￥27.00 起
Basic Proof Theory
BasicofMechanicalVibration机械振动基础
毛崎波、李奕 著
￥3.72 起
Basic Proof Theory
Basic Drawing Made Amazingly Easy
Hart, Christopher
￥90.00 起
Basic Proof Theory
BasicChemistryforHigherMedicalEducation基础化学
傅迎、王兴坡 著
￥14.50 起
Basic Proof Theory
Basic Principles in Pianoforte Playing
Lhevinne, Josef
￥65.00 起
Basic Proof Theory
BasicsofStatisticsandStatisticalApplication
黎明 编
￥35.00 起
Basic Proof Theory
Basic Nursing - Text and Virtual Clinical Excursions 3.0 Package
Patricia A. Potter RN MSN PhD FAAN、Anne Griffin Perry RN EdD FAAN、Patricia Stockert RN BSN MS PhD、Amy Hall RN BSN MS PhD CNE 著
￥198.00 起
Basic Proof Theory
BasicsofResearchMethodsforCriminalJustice
Michael G. Maxfield 著
￥260.00 起
Basic Proof Theory
Basic English of Rock Mechanics
周喻 王莉 编著
￥13.41 起
Basic Proof Theory
Basic Theory of Finite Element Method
王永亮
￥43.80 起
Basic Proof Theory
Basic & Clinical Biostatistics (LANGE Basic Science)
Beth Dawson、Robert Trapp 著
￥480.00 起
Basic Proof Theory
BasicJewelryMaking:AlltheSkillsandToolsYouNeedtoGetStarted
Sandy Allison 编
￥303.30 起
您可能感兴趣 / 更多
Basic Proof Theory
公共卫生法
A. M. 维安 著；李鸻 译；约翰·科根；基思·赛雷特；宋华琳；李芹
￥18.00 起
Basic Proof Theory
混凝土性能(原著第五版)
A. M. 内维尔（A. M. Neville）
￥112.09 起
Basic Proof Theory
华兹华斯的政治观
A. V. 戴雪
￥15.00 起
Basic Proof Theory
关节去神经术
A. Lee Dellon
￥60.00 起
Basic Proof Theory
骨关节功能解剖学:第一卷上肢（原书第7版）
A. I. Kapandji（法）
￥80.06 起
Basic Proof Theory
极速车王：福特与法拉利的传奇对决
A. J. 贝米
￥12.00 起
Basic Proof Theory
天才时代：17世纪的乱世与现代世界观的创立
A. C. 格雷林 著；吴万伟、肖志清 译
￥8.00 起
Basic Proof Theory
Imaging in SARS[非典的医学成像]
A. T. Ahuja、C. G. C. Ooi 编
￥200.00 起
Basic Proof Theory
Hamlet (Revised Edition) (Pelican Shakespeare)
A. Braunmuller、Stephen Orgel、William Shakespeare 著
￥35.00 起
Basic Proof Theory
TheCompleteTalesandPoemsofWinnie-The-Pooh/Wtp
A. A. Milne 著
￥210.00 起
Basic Proof Theory
Einstein's Universe：Gravity at Work and Play
A. Zee
￥219.00 起
Basic Proof Theory
GreatModernEuropeanShortStories
A. Angus、Sylvia Angus、Douglas Angus 著
￥95.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全