同类推荐
-
-
元数学基础:第二卷:基本实在无穷
-
¥198.00
-
-
元数学基础:第二卷:基本实在无穷
-
¥198.00
-
-
元数学基础:第二卷:基本实在无穷
-
¥198.00
-
-
模态集合论的思想与方法
-
¥58.00
-
-
数学建模及其实践案例
-
¥48.00
-
-
对无限的追寻
-
¥42.00
-
-
数学规划建模方法
-
¥128.00
-
-
超现实数:研究之美
-
¥69.00
-
-
精细大偏差的理论分析及应用
-
¥58.00
-
-
速通！深度学习的数学基础
-
¥69.00
|
|
图书信息
|
|
|
|
数理逻辑
|
| ISBN： | 9787300284392 |
定价： | ￥58.00 |
| 作者： | 余俊伟[等]著 |
出版社： | 中国人民大学出版社 |
| 出版时间： | 2020年08月 |
开本： | 26cm |
| 页数： | 370页 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1479
|
|
2026-01-30
|
图书简介 | | 本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。 |
|