¥28.80定价：¥39.00 (7.39折)
数理逻辑 第2版 【正版】 【店主推荐，正版书放心购买，可开发票】
Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstoprovability?Towhatextentcanmachinescarryoutmathematicalproofs?Onlyinthiscenturyhastherebeensuccessinobtainingsubstantialandsatisfactoryanswers.Thepresentbookcontainsasystematicdiscussionoftheseresults.Theinvestigationsarecenteredaroundfirst-orderlogic.OurfirstgoalisGodelscompletenesstheorem，whichshowsthattheconsequencerelationcoincideswithformalprovability Bymeansofacalculusconsistingofsimpleformalinferencerules，onecanobtainallconsequencesofagivenaxiomsystem(andinparticular，imitateallmathematicalproofs)
¥93.47定价：¥308.16 (3.04折)
数理逻辑 证明及其限度(第2版),复旦大学出版社【新华书店总店自营店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥31.81定价：¥98.00 (3.25折)
¥49.00定价：¥98.00 (5折)
数理逻辑：证明及其限度(第二版)（逻辑与形而上学教科书系列）
¥33.60定价：¥49.00 (6.86折)
¥143.00定价：¥198.00 (7.23折)
¥26.70定价：¥39.00 (6.85折)
《数理逻辑》是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，《数理逻辑》只介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必要装备，也因此构成目前大学教育的一个基础部分，在哲学、语言学等文科专业和数学、计算机科学等理科专业里，普遍列为必修或选修的内容。当然，按照一种比较理想的要求，大学生对逻辑的了解，还应该包括更深层次的内容，如适当部分的模型论、基本的不可判定性结果、哥德尔不完全性定理的证明等。但这些更深层次的内容适合于在更加专门的课程中介绍。
¥89.60定价：¥248.04 (3.62折)
数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）
¥43.50定价：¥58.00 (7.5折)
数理逻辑 A.G.Hamilt 【店主推荐，正版书放心购买，可开发票】
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是很重要的。经，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念 第二章讲解命题逻辑的形式化系统 第三章直观地讲解了谓词逻辑 第四章讲解谓词逻辑的形式化系统 第五章介绍数学系统 第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识 第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于978年出版，然后，于988年出了。自从出版
¥75.30定价：¥220.48 (3.42折)
数理逻辑基础教程 清华大学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥58.50定价：¥79.00 (7.41折)
明星店铺 文轩网旗舰店
¥93.40定价：¥128.00 (7.3折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
《清华大学计算机系列教材 数理逻辑与集合论（第2版）》介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
¥19.15定价：¥87.45 (2.19折)
【正版】数理逻辑 证明及其限度(第2版) 郝兆宽,杨睿之,杨跃 著 复旦大学出版社 成人自考 大学教材
¥34.96定价：¥49.00 (7.14折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
《清华大学计算机系列教材 数理逻辑与集合论（第2版）》介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
¥19.36定价：¥88.08 (2.2折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分 第部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习的指导，包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容，相当于主教材内容的精华与复习的提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外，还列出解题思路、提示，容易出现的错误和多种解法等。书中注重学习的方法与逻辑思维能力的培养和训练，并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生，也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。
¥19.58定价：¥86.43 (2.27折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分 第部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习的指导，包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容，相当于主教材内容的精华与复习的提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外，还列出解题思路、提示，容易出现的错误和多种解法等。书中注重学习的方法与逻辑思维能力的培养和训练，并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生，也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。
¥19.88定价：¥89.01 (2.24折)
数理逻辑引论 (高等学校理工科数学类规划教材) 肖奚安 朱梧槚 【正版】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥19.15定价：¥84.72 (2.27折)
¥33.77定价：¥49.00 (6.9折)
数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）
¥76.09定价：¥76.09
数理逻辑与集合论第2版清华大学计算机系列教材计算机科学人工智能参考书研究生本科专科教材工学 正版图书 可开发票
¥47.94定价：¥47.94
¥72.18定价：¥72.18
数理逻辑与集合论第2版清华大学计算机系列教材计算机科学人工智能参考书研究生本科专科教材工学 正版图书 可开发票
¥49.41定价：¥49.41
¥71.45定价：¥71.45
¥53.40定价：¥58.00 (9.21折)
数理逻辑与集合论第2版清华大学计算机系列教材计算机科学人工智能参考书研究生本科专科教材工学
¥48.54定价：¥48.54
数理逻辑基础(上册) 胡世华，陆钟万 9787030464217 现代数学基础丛书 科学出版社 【本店支持开发票 如需帮助请联系客服】
¥95.62定价：¥98.00 (9.76折)
数理逻辑与集合论第2版清华大学计算机系列教材计算机科学人工智能参考书研究生本科专科教材工学 正版图书 可开发票
¥47.41定价：¥47.41
数理逻辑与集合论第2版清华大学计算机系列教材计算机科学人工智能参考书研究生本科专科教材工学
¥48.61定价：¥48.61
数理逻辑 余俊伟 等著 大学教材 【本店支持开发票 如需帮助请联系客服】
¥52.75定价：¥58.00 (9.1折)
¥72.68定价：¥72.68
数理逻辑与集合论 第二版 精要与题解 清华大学 王宏 杨明著 离散数学 计算机科学 清华大学出版社 正版图书 可开发票
¥44.09定价：¥44.09
¥44.04定价：¥58.00 (7.6折)
¥33.41定价：¥49.00 (6.82折)
¥27.11定价：¥39.00 (6.96折)
数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材） 正版图书 可开发票
¥75.59定价：¥75.59
¥71.15定价：¥71.15
数理逻辑与集合论第2版清华大学计算机系列教材计算机科学人工智能参考书研究生本科专科教材工学 正版图书 可开发票
¥47.40定价：¥47.40
数理逻辑十二讲 宋方敏,吴骏编著 文教大学本科大中专普通高等学校教材专用 综合教育课程专业书籍 考研预备
¥47.67定价：¥53.39 (8.93折)
数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材） 【本店支持开发票 如需帮助请联系客服】
¥76.09定价：¥76.09
数理逻辑与集合论 第二版 精要与题解 清华大学 王宏 杨明著 离散数学 计算机科学 清华大学出版社 正版图书 可开发票
¥46.09定价：¥46.09
¥54.05定价：¥58.00 (9.32折)
¥72.75定价：¥72.75
数理逻辑与集合论 2版 石纯一 等 清华大学计算机系列教材计算机科学教学基础 计算机教材 大学离散数学教科书 计算机应用 正版图书 可开发票
¥45.45定价：¥45.45
数理逻辑十二讲 宋方敏,吴骏编著 文教大学本科大中专普通高等学校教材专用 综合教育课程专业书籍 考研预备 【本店支持开发票 如需帮助请联系客服】
¥44.68定价：¥44.68
¥71.18定价：¥71.18
数理逻辑与集合论 2版 石纯一 等 清华大学计算机系列教材计算机科学教学基础 计算机教材 大学离散数学教科书 计算机应用 正版图书 可开发票
¥46.05定价：¥46.05
¥75.73定价：¥75.73
¥51.00定价：¥51.00
¥28.17定价：¥39.00 (7.23折)
数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）
¥76.39定价：¥76.39
数理逻辑与集合论 第二版 精要与题解 清华大学 王宏 杨明著 离散数学 计算机科学 清华大学出版社 正版图书 可开发票
¥46.09定价：¥46.09
¥71.88定价：¥71.88
数理逻辑与集合论 第二版 精要与题解 清华大学 王宏 杨明著 离散数学 计算机科学 清华大学出版社 正版图书 可开发票
¥44.78定价：¥44.78
¥52.85定价：¥58.00 (9.12折)
¥77.43定价：¥77.43
数理逻辑导引 冯琦 编 现代数学基础丛书 科学出版社 【本店支持开发票 如需帮助请联系客服】
¥190.90定价：¥198.00 (9.65折)
¥77.23定价：¥77.23
数理逻辑的思想和方法(日月光华·哲学书系) 正版图书 可开发票
¥105.87定价：¥105.87
数理逻辑和算法理论 计算机科学与人工智能的数学基础 袁相碗 人工智能应用丛书 数理逻辑 9787113298722 中国 【本店支持开发票 如需帮助请联系客服】
¥50.34定价：¥50.34
