同类推荐
-
-
数学建模与实验
-
¥62.00
-
-
数学建模与实验
-
¥62.00
-
-
数学建模与实验
-
¥62.00
-
-
计算机科学中的数理逻辑
-
¥69.00
-
-
有序选择的建模方法:入门教程
-
¥115.00
-
-
数学建模:基于北太天元与AI的竞赛应用
-
¥49.80
-
-
数学建模与算法设计
-
¥68.00
-
-
零基础数学建模
-
¥49.80
-
-
何以为证:the uncertain science …
-
¥69.00
-
-
数学建模竞赛论文写作
-
¥55.00
|
|
图书信息
|
|
|
|
数理逻辑
|
| ISBN： | 9787300284392 |
定价： | ￥58.00 |
| 作者： | 余俊伟[等]著 |
出版社： | 中国人民大学出版社 |
| 出版时间： | 2020年08月 |
开本： | 26cm |
| 页数： | 370页 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1440
|
|
2026-06-10
|
图书简介 | | 本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。 |
|