|
|
-
《数理逻辑是什么?(第二版)》
-
WHAT IS MATHEMATICAL LOGIC? Second Edition
- 图书类型:科普
- 作者:Guillermo Badia, John N. Crossley, John C. Stillwell
-
出 版 社:Oxford University Press
代理公司:ANA/Jessica Wu
页 数:160页
出版时间:2025年12月
代理地区:中国大陆、台湾
审读资料:暂无(可先登记兴趣)
- 联系人:Rights
浏览次数:11

内容简介
数理逻辑已经从数学的一个独特分支,发展成为计算机科学以及数学其他部分不可或缺的工具。这本书以简洁明晰,生动易懂的,介绍了数理逻辑这一主题——尽管逻辑可能是一个非常深奥的问题,即使对数学家来说也是如此。
《数理逻辑是什么?》一书最初出版于50年前,介绍了现代数理逻辑中的关键思想,而不涉及专业逻辑学家所进行的复杂数学计算。书中以轻松愉快的风格,简洁地介绍了相关内容。尽管这本书相对简短,但囊括了所有基本知识。新版本的书中增加了三个新章节,涵盖了自动定理证明、超越传统一阶逻辑的逻辑以及其他逻辑,包括直觉逻辑、自由逻辑和模态逻辑。
对于计算机科...
展开
数理逻辑已经从数学的一个独特分支,发展成为计算机科学以及数学其他部分不可或缺的工具。这本书以简洁明晰,生动易懂的,介绍了数理逻辑这一主题——尽管逻辑可能是一个非常深奥的问题,即使对数学家来说也是如此。
《数理逻辑是什么?》一书最初出版于50年前,介绍了现代数理逻辑中的关键思想,而不涉及专业逻辑学家所进行的复杂数学计算。书中以轻松愉快的风格,简洁地介绍了相关内容。尽管这本书相对简短,但囊括了所有基本知识。新版本的书中增加了三个新章节,涵盖了自动定理证明、超越传统一阶逻辑的逻辑以及其他逻辑,包括直觉逻辑、自由逻辑和模态逻辑。
对于计算机科学和数理逻辑专业的学生来说,本书是一本精彩的知识概要,也是对课程的宝贵补充。本书给出了进一步阅读的建议,帮助读者了解这个结合了数学、哲学和计算机科学,正在蓬勃发展的领域。
《数理逻辑是什么?(第二版)》
第一章:历史概览
第二章:谓词演算的完全性
第三章:模型论
第四章:图灵机
第五章:哥德尔不完全性定理
第六章:实践中的可计算性
第七章:集合论
第八章:超越谓词演算
第九章:进一步思考
收起
相关资料
卖点:
用简洁明了,清晰易懂的方式介绍一个复杂的问题。
聚焦于现代数理逻辑中最关键的问题。
包含进一步阅读的相关建议,推荐内容与时俱进。
本版更新:
首版在50年前出版,现重新修订。
在原版上改进扩充内容,增加全新章节以介绍领域内前沿进展。
|