MARC状态：审校 文献类型：中文图书 浏览次数：73
- 题名/责任者:
- 数理逻辑/余俊伟[等]著
- 出版发行项:
- 北京:中国人民大学出版社,2020
- ISBN及定价:
- 978-7-300-28439-2/CNY58.00
- 载体形态项:
- 370页:图;26cm
- 并列正题名:
- Mathematical logic
- 个人责任者:
- 余俊伟 (1974~) 著
- 学科主题:
- 数理逻辑-教材
- 中图法分类号:
- O141
- 一般附注:
- 新编21世纪哲学系列教材
- 题名责任附注:
- 著者还有：赵晓玉、裘江杰、张立英
- 提要文摘附注:
- 本书第1-4章为基础内容，第5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O141/822 | 60223969 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| O141/822 | 60223970 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| O141/822 | 60223971 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架