书目信息 机读格式(MARC)
数理逻辑
| ISBN/价格： | 978-7-300-28439-2:CNY58.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 数理逻辑/.余俊伟[等]著 |
| 出版发行项： | 北京:,中国人民大学出版社:,2020.08 |
| 载体形态项： | 370页:;+图:;+26cm |
| 一般附注： | 新编21世纪哲学系列教材 |
| 提要文摘： | 本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。 |
| 并列题名： | Mathematical logic eng |
| 题名主题： | 数理逻辑 高等学校 教材 |
| 中图分类： | O141 |
| 个人名称等同： | 余俊伟 著 |
| 记录来源： | CN 人天书店 20200901 |