数理逻辑

1星价 ¥11.8 (4.9折)

2星价￥11.8 定价￥24.0

作者：刘新文

出版社：中国社会科学出版社

本类榜单：教材

所属丛书：中国社会科学院研究生重点教材

分类：教材 > 高职高专教材

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>

暂无评论

图文详情

ISBN：9787500485438
装帧：简裝本
册数：暂无
重量：暂无
开本：16
页数：128页
出版时间：2010-01-01
条形码：9787500485438 ; 978-7-5004-8543-8

前言**章句法和语义**节一阶语言第二节项和公式第三节一阶理论第四节结构第五节嵌入与同构思考题第二章命题逻辑**节命题逻辑的句法和语义第二节紧致性定理第三节证明第四节完全性定理思考题第三章一阶逻辑**节一阶逻辑的证明和元定理第二节算术中的元定理第三节一致性和完全性第四节完全性定理第五节理论的解释和定义扩充第六节紧致性定理第七节完全理论思考题第四章递归函数和理论的算术化**节递归函数和递归谓词第二节半递归谓词第三节理论的算术化第四节可判定的理论思考题第五章不完全性定理**节可表示性第二节 **不完全性定理第三节算术集合第四节皮亚诺算术的递归扩张第五节第二不完全性定理思考题

展开全部

节选

《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究数理逻辑的专门知识和问题提供了基础。

作者简介

张清宇，1944年生，上海人。1978年考入中国社会科学院研究生院哲学系逻辑专业，1981年获硕士学位，留中国社会科学院哲学研究所工作，现为哲学所研究员、中国社会科学院研究生院教授、博士生导师，主要从事符号逻辑研究，1986年被评为“国家级有突出贡献中青年专家”。在经典逻辑、弗协调逻辑等方面创制了一批现代逻辑形式系统，著有《数理逻辑》（与胡耀鼎合作）、《哲学逻辑研究》（与郭世铭、李小五合作）与《弗协调逻辑》等，现主持中国社会科学院重大课题“模态逻辑研究”。

本类五星书

更多>>

浏览历史

数理逻辑

刘新文

¥11.8¥24.0

本类畅销

×

数理逻辑

目录

节选

作者简介

预估到手价 ×