Name: 数理逻辑
ISBN: 9787309110258

作者: 杨跃 / 郝兆宽 / 杨睿之
出版社: 复旦大学出版社
副标题: 证明及其限度
出版年: 2014-11-1
页数: 249
定价: 36.00
装帧: 平装
丛书: 逻辑与形而上学教科书系列
ISBN: 9787309110258

豆瓣评分

7.8

106人评价

5星

38.7%
4星

34.0%
3星

13.2%
2星

10.4%
1星

3.8%

评价:

内容简介 · · · · · ·

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

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

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

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

数理逻辑的创作者 · · · · · ·

郝兆宽作者

作者简介 · · · · · ·

郝兆宽

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

杨睿之

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

杨跃

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

目录 · · · · · ·

引言：什么是数理逻辑？
0.1　逻辑史早期的几个重要里程碑
0.2　课程大纲
第一章　预备知识
1.1　证明的必要性
1.2　集合
· · · · · · (更多)

丛书信息 · · · · · ·

　　逻辑与形而上学教科书系列(共6册)，这套丛书还有《作为哲学的数理逻辑》《数理逻辑：证明及其限度》《集合论》《递归论》《初等模型论》。

喜欢读"数理逻辑"的人也喜欢 · · · · · ·

: 可计算性与数理逻辑 8.5

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

: 元数学导论（上）

: Set Theory

: 走进分析哲学 7.9

: 意识作为一种科学概念

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

: 逻辑基础(修订版) 7.9

: 数理逻辑基础（上册）

: 弗雷格思想研究 7.5

我来说两句

短评 · · · · · · ( 全部 30 条 )

数理逻辑的书评 · · · · · · ( 全部 6 条 )

热门最新好友只看本版本的评论

jjwwjjww 2017-06-12 13:44:40

国内最好的数理逻辑教科书

这篇书评可能有关键情节透露

第一次开数理逻辑课的时候一直在寻找一本对于哥德尔不完备性定理阐述详尽的教材。发现不论中英文，没有一本是令人满意的。后来本书作者之一告诉我他们正在撰写一本数理逻辑教材。看到草稿后就爱不释手——这正是我想用的教材。本书假定的读者对象涵盖了哲学系，计算机系以及... (展开)

1 7回应

(#ﾟДﾟ) 2018-11-01 23:45:07

教案……但无疑是好教案，适合复习

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定... (展开)

1回应

Hao 2022-03-04 11:58:46 复旦大学出版社2020版

廿二载努力，廿二载不忘

第一次接触到数理逻辑是上个世纪 90 年代我在上初中的时候。没想到隔了 20 多年自己开始自学数理逻辑了。正好图形学和机器学习都有国际会议的奖项了，可以抽空思考一下别的领域的问题。一阶谓词逻辑体系其实并没有那么难。这本书看的非常快，说句实话，到哥德尔那里就看不懂... (展开)

0回应

知则 2021-08-02 15:02:24 复旦大学出版社2020版

读郝兆宽之《数理逻辑：证明及其限度》

郝兆宽, 杨睿之, 杨跃. 数理逻辑：证明及其限度. ISBN: 978-7-309-11025-8 郝兆宽, 杨睿之, 杨跃. 数理逻辑：证明及其限度. ISBN: 978-7-309-14568-7 这本书虽然不是我的数理逻辑启蒙书，但却是我读过的写的最适合入门的国内数理逻辑入门教材。最初读这本书的时候买的是 Amazon... (展开)

0回应