数理逻辑读书介绍

杨跃      ISBN:9787309110258    原作名/别名:《》

数理逻辑摘要

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。

本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材，本书更强调逻辑与元数学的联系，更多地介绍语义部分，强调语法语义的统一。书中，除了对各个知识点本身的讲解，还介绍了它们的直观和思想背景。

本书适合作为数理逻辑系列课程的导论，并为后继课程做准备。为此，在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。

书中所含习题能使读者通过练习得到必要的训练，并自我检验对有关内容的理解。

作者简介

郝兆宽

复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。

杨睿之

复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。

杨 跃

新加坡国立大学数学系教授。主要研究兴趣是数理逻辑，尤其是递归论、皮亚诺算术模型。

未发行或暂未收录

面向计算机科学的数理逻辑系统建模与推理 计算机科学,数理逻辑,数学,逻辑,计算机,推理,建模,CS,　2020-02-20 …

面向计算机科学的数理逻辑系统建模与推理 数理逻辑,计算机科学,计算机,逻辑,数学,逻辑学,推理,模型检测,　2020-02-20 …

数理逻辑 数理逻辑,数学,逻辑学,哥德尔,逻辑,大三下,高分,画画,　2020-02-20 …

数理逻辑 数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义,　2020-02-20 …

数学家的逻辑 数理逻辑,数学,逻辑学,逻辑,（旧版）,蔡曙山荐,老师推荐,未读完,　2020-02-20 …

形式逻辑和先验逻辑 逻辑学,现象学,胡塞尔,哲学,逻辑,数学,西方现代哲学,德国哲学,　2020-02-20 …

数理逻辑 数理逻辑,数学,逻辑,逻辑学,计算机,入门,阅读,高分,　2020-02-20 …

数理逻辑 数理逻辑,数学,逻辑,逻辑学,计算机科学,计算机,哲学,计算理论,　2020-02-20 …

可计算性与数理逻辑 数学,逻辑学,逻辑,人工智能,计算理论,计算机,数理逻辑,计算机科学,　2020-02-20 …

可计算性与数理逻辑 数理逻辑,数学,计算机科学,计算机,逻辑,逻辑学,哲学,计算,　2020-02-20 …

数理逻辑大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。