稳定性和单纯性理论

史念东

评分 0.0分

介绍当代模型论的前沿，讲述模型论各主要领域在10多年来的最新研究成果、主要方法和主要工具，大部分结果都给出了详尽的证明，起点低，终点高，结构严谨，易读性好。

非经典数理逻辑与近似推理

王国俊

评分 0.0分

《非经典数理逻辑与近似推理》大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑.

对称和群

朱水林

评分 0.0分

计数

黄国勋, 李炯生

评分 0.0分

集合论与连续统假设浅说

张锦文

评分 8.1分

数理逻辑概貌

莫绍揆

评分 0.0分

本书向初学者扼要介绍数理逻辑的各部分内容。在逻辑演算中除介绍真值联结词与量词的公理系统外，还介绍了自然推理系统，以冀这个方便的工具可以早日普及。在集合论中介绍了集合论悖论的产生，当初解决悖论的各种尝试，以便读者可以理解现在的公理集合论的来龙去脉。递归论中除介绍各种重要的递归函数类外，着重指出各种推广的重要应用。证明论中介绍数学基础方面的各个派别以及不完全性定理，它指导着证明论的发展趋向。在模型论中

应用逻辑

Anil Nerode Richard A.Shore

评分 8.4分

“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的

面向计算机科学的数理逻辑系统建模与推理

胡思

评分 9.2分

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映

可能世界的逻辑

R.B.马库斯

评分 8.5分

《可能世界的逻辑》由上海译文出版社出版。

数理逻辑

杨跃, 郝兆宽, 杨睿之

评分 7.7分

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。 本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材，本书更强调逻辑与元数学的联系，更多地介绍语义部分，强调语法语义的统一。书中，除了对各个知识点本身的讲解，还介绍了它们的直观和思想背景。 本

集合论

郝兆宽, 杨跃

评分 7.8分

《集合论:对无穷概念的探索》是“逻辑与形而上学教科书系列”中的一本，书中介绍了集合论的基础知识，共有集合与公理，关系与函数，实数的构造，基数，滤、理想与无界闭集，集合的宇宙，可构成集，力迫等9章内容；除了讨论集合论的基本概念，还讨论了可构成集、力迫法等现代内容，同时还讨论了与连续统假设相关的一些哲学问题。

蚁迹寻踪及其他数学探索

[美] 戴维·盖尔

评分 8.9分

书中讨论了“为什么某些用分式定义的序列只产生整数”，“怎样才能让两人通过电话玩扑克，还要保证对手不受欺骗”等许多有趣的数学问题。

哥德尔

[美] 王浩

评分 8.4分

分为上下两篇，上篇考察了歌德尔的事迹，从献身基本理论的角度来讲述歌德尔的生平；下篇介绍了科学与技术学中的概念、歌德尔与哲学、“分说”等内容。

数理逻辑

汪芳庭

评分 9.4分

面向计算机科学的数理逻辑

陆钟万

评分 7.6分

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

数学辞海.第4卷

《数学辞海》委员会

评分 0.0分

哥德尔证明

欧内斯特·内格尔（Ernest Nagel）

评分 9.3分

《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 在此书的新版中，普利策奖的获奖作者道格拉斯•R·霍夫斯塔特对这一经典著作的原文进行了重新斟酌和更新，澄清了模糊之处，使论述更为清晰，并使行文更具可读性。

面向计算机科学的数理逻辑系统建模与推理

哈斯

评分 7.9分

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可

现代逻辑引论

朱水林

评分 0.0分

目录 引言 第一章 命题逻辑 第二章 命题演算 第三章 谓词逻辑 第四章 谓词演算 第五章 模态逻辑 第六章 悖论和集合论的公理化 第七章 语义学和模型论 第八章 内涵逻辑 第九章 证明论和不完全定理 第十章 递归论和判定问题 第十一章 归纳逻辑 现代逻辑是传统逻辑发展的最新阶段，是用形式化的方法研究思维的形式结构及其规律的学科。当今，现代逻辑处于蓬勃发展时期。几十年来，它的触须已伸向四面八方，与

哥德尔证明

[美] Ernest Nagel, [美] James R. Newman, [美] Douglas R. Hofstadter (编)

评分 9.5分

1931年，逻辑学家、数学家库尔特·哥德尔（Kurt Godel）发表的关于不完全性定理的论文，挑战了数学和逻辑研究中的基本假设，被认为是现代逻辑科学在哲学方面的三大成果之一。由于这一贡献，他获得了被誉为“在美国同类奖项中蕞高奖”的第一届阿尔伯特·爱因斯坦奖。 哥德尔的证明即使对于专业研究者来讲也会显得过于复杂。本书两位作者首次以相对简单的形式解释了哥德尔论文中涉及的逻辑与数学基本术语、使用到的证

可计算性理论

莫绍揆, 王元元

评分 0.0分

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分，系统地介绍了各种形式语言及相应的语言识别器——各类自动机. 作为递归论内容的深入，本书还概要地介绍了递归集、递归枚举集及递归度的概念；作为上述两部分内容的应用，第十一章还讨论了判定问题.

万千教育.数理逻辑入门

（美）雷蒙德·M.斯穆里安（Raymond M. Smullyan）

评分 4.6分

作为一位终生思考如何以最好的方式表达数理逻辑问题的学者，作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得本书非常适合作为数理逻辑入门教材。 除了学者的身份，作者还是一位趣味谜题专家，致力于面向普通读者写作，将深奥