数理逻辑

数理逻辑

余俊伟, 赵晓玉, 裘江杰, 张立英, 著

出版社:中国人民大学出版社

年代:2020

定价:58.0

书籍简介:

本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲,第1-4章为基础内容,第5-6章为高阶内容。具体来看,第1章从思想史角度讲述哲学之于逻辑的动机催发,第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等,第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等,第4章讲述一阶理论的基本性质、几种形式等,第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等,第6章以模态逻辑为例说明逻辑之于哲学的实际应用。

书籍规格:

书籍详细信息
书名数理逻辑站内查询相似图书
9787300284392
如需购买下载《数理逻辑》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位中国人民大学出版社
版次1版印次1
定价(元)58.0语种简体中文
尺寸26 × 19装帧平装
页数 380 印数 5000

书籍信息归属:

数理逻辑是中国人民大学出版社于2020.8出版的中图分类号为 O141 的主题关于 数理逻辑-高等学校-教材 的书籍。