图书标签: 数理逻辑 逻辑学 数学 逻辑 计算机 计算机科学 0.数学 英国
发表于2024-12-23
数理逻辑是什么 pdf epub mobi txt 电子书 下载 2024
本书是数理逻辑领域的代表性著作,旨在向零基础的读者普及数理逻辑知识。自1972年问世以来,本书得到众多逻辑学家的肯定,并始终是该领域的长销之作。
简明扼要是本书一大特色。秉持将“难懂”的数理逻辑以通俗易懂的方式介绍给一般读者的理念,几位作者精选数理逻辑中最典型的思想,生动地介绍了数理逻辑发展史、谓词演算的完全性、模型论、图灵机与递归函数、哥德尔不完全性定理、集合论等。相对独立的章节是本书另一大特色。全书各章之间不存在紧密的层级关系,读者可根据理解的程度,暂时跳过某些章节,待需要时再返回重新阅读。这种写作方式有助于读者在短时间内掌握数理逻辑的主要内容,奠定进一步学习逻辑、数学、计算机科学等知识的基础。
约翰·N.克罗斯利(John N. Crossley) 英国数学家、逻辑学家。1963年于牛津大学获得哲学博士学位与数学硕士学位。毕业后成为牛津大学头一位数理逻辑教师,牛津大学万灵学院研究员。自1968年起,长期任教于澳大利亚莫纳什大学,并于2010年成为该校荣休教授。
主要研究领域为逻辑、数学和计算机科学。著有《构成性序型》(Constructive Order Types,1969)、《数理逻辑是什么》(What Is Mathematical Logic?,1972,合著)、《组合函子》(Combinatorial Functors,1974,合著)、《数的出现》(The Emergence of Number,1987)、《九章算术:导读与注释》(The Nine Chapters on the Mathematical Art: Companion & Commentary,2000,合著)、《程序就是证明:柯里—霍华德对应》(Adapting Proofs-as-Programs: The Curry-Howard Protocol,2005,合著)、《成长的数字观》(Growing Ideas of Number,2007)等。
介绍到数理逻辑各领域的普及好书。重要的定理都给出了证明,但如果不是很强的数学基础只能领略一下书中强大的思路,大致理解过程。书最后作者也说彻底搞懂本书涵盖的主题需要读不少复杂的书,并给了书单。
评分数理逻辑领域长销40余年的经典普及之作。
评分数理逻辑领域长销40余年的经典普及之作。
评分该讲的点都讲到了,讲的马马虎虎,翻译负分
评分图灵机和哥德尔不完备定理讲的很简洁,通透 模型论完全懵逼了
评分
评分
评分
评分
数理逻辑是什么 pdf epub mobi txt 电子书 下载 2024