扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
思想道德与法治(2021年版)
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
-
>
中医诊断学--新世纪第五版
-
>
中药学·全国中医药行业高等教育“十四五”规划教材
买过本商品的人还买了
数理逻辑 版权信息
- ISBN：9787500485438
- 条形码：9787500485438 ; 978-7-5004-8543-8
- 装帧：简裝本
- 册数：暂无
- 重量：暂无
- 所属分类：>
数理逻辑 目录
前言**章 句法和语义**节 一阶语言第二节 项和公式第三节 一阶理论第四节 结构第五节 嵌入与同构思考题第二章 命题逻辑**节 命题逻辑的句法和语义第二节 紧致性定理第三节 证明第四节 完全性定理思考题第三章 一阶逻辑**节 一阶逻辑的证明和元定理第二节 算术中的元定理第三节 一致性和完全性第四节 完全性定理第五节 理论的解释和定义扩充第六节 紧致性定理第七节 完全理论思考题第四章 递归函数和理论的算术化**节 递归函数和递归谓词第二节 半递归谓词第三节 理论的算术化第四节 可判定的理论思考题第五章 不完全性定理**节 可表示性第二节 **不完全性定理第三节 算术集合第四节 皮亚诺算术的递归扩张第五节 第二不完全性定理思考题
展开全部
数理逻辑 节选
《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究数理逻辑的专门知识和问题提供了基础。
数理逻辑 作者简介
张清宇，1944年生，上海人。1978年考入中国社会科学院研究生院哲学系逻辑专业，1981年获硕士学位，留中国社会科学院哲学研究所工作，现为哲学所研究员、中国社会科学院研究生院教授、博士生导师，主要从事符号逻辑研究，1986年被评为“国家级有突出贡献中青年专家”。在经典逻辑、弗协调逻辑等方面创制了一批现代逻辑形式系统，著有《数理逻辑》（与胡耀鼎合作）、《哲学逻辑研究》（与郭世铭、李小五合作）与《弗协调逻辑》等，现主持中国社会科学院重大课题“模态逻辑研究”。
书友推荐
- >
二体千字文
二体千字文
¥14.0¥40.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
推拿
推拿
¥12.2¥32.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥13.0¥24.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥20.3¥39.8 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥32.4¥49.8 - >
山海经
山海经
¥21.1¥68.0
本类畅销
-
媒介研究导论
¥58.9¥69.8 -
大学语文
¥21.1¥39 -
古典基督教思想的“自我”观念
¥14.9¥30 -
新世纪高等学校教材 心理学基础课系列教材普通心理学(第5版)/彭聃龄
¥39.2¥78 -
人民邮电出版社态度改变与社会影响(中译本修正版)
¥103.5¥138 -
电工电子实验实训指导
¥24.3¥25
