暂无评论
图文详情
- ISBN:9787500485438
- 装帧:简裝本
- 册数:暂无
- 重量:暂无
- 开本:16
- 页数:128页
- 出版时间:2010-01-01
- 条形码:9787500485438 ; 978-7-5004-8543-8
目录
前言**章 句法和语义**节 一阶语言第二节 项和公式第三节 一阶理论第四节 结构第五节 嵌入与同构思考题第二章 命题逻辑**节 命题逻辑的句法和语义第二节 紧致性定理第三节 证明第四节 完全性定理思考题第三章 一阶逻辑**节 一阶逻辑的证明和元定理第二节 算术中的元定理第三节 一致性和完全性第四节 完全性定理第五节 理论的解释和定义扩充第六节 紧致性定理第七节 完全理论思考题第四章 递归函数和理论的算术化**节 递归函数和递归谓词第二节 半递归谓词第三节 理论的算术化第四节 可判定的理论思考题第五章 不完全性定理**节 可表示性第二节 **不完全性定理第三节 算术集合第四节 皮亚诺算术的递归扩张第五节 第二不完全性定理思考题
展开全部
节选
《数理逻辑》介绍数理逻辑的基本内容,如经典一阶逻辑(包括命题逻辑和谓词逻辑)的句法、语义、逻辑演算(形式证明)以及刻画句法和语义之间关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二不完全性定理以及所需的递归论内容,等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础,也为进一步学习和研究数理逻辑的专门知识和问题提供了基础。
作者简介
张清宇,1944年生,上海人。1978年考入中国社会科学院研究生院哲学系逻辑专业,1981年获硕士学位,留中国社会科学院哲学研究所工作,现为哲学所研究员、中国社会科学院研究生院教授、博士生导师,主要从事符号逻辑研究,1986年被评为“国家级有突出贡献中青年专家”。在经典逻辑、弗协调逻辑等方面创制了一批现代逻辑形式系统,著有《数理逻辑》(与胡耀鼎合作)、《哲学逻辑研究》(与郭世铭、李小五合作)与《弗协调逻辑》等,现主持中国社会科学院重大课题“模态逻辑研究”。
本类五星书
浏览历史
本类畅销
-
当代中国政府与政治(新编21世纪公共管理系列教材)
¥33.6¥48.0 -
落洼物语
¥8.9¥28.0 -
中国当代文学名篇选读
¥19.6¥53.0 -
中医基础理论【中医 针灸专业用】
¥18.0¥25.0 -
中医基础理论
¥50.7¥59.0 -
习近平总书记教育重要论述讲义
¥13.3¥35.0 -
世界现代设计史-[第二版]
¥40.8¥120.0 -
习近平新时代中国特色社会主义思想概论
¥18.2¥26.0 -
新世纪高等学校教材 心理学基础课系列教材普通心理学(第5版)/彭聃龄
¥29.6¥78.0 -
外国教育史-第2版
¥19.6¥40.0 -
断代(八品)
¥13.4¥42.0 -
长征记忆(八品)
¥9.5¥45.0 -
宪法-第二版
¥21.8¥29.0 -
先进防伪技术
¥81.3¥98.0 -
企业法务教程
¥40.7¥49.0 -
[社版]大汉战神:霍去病传
¥15.6¥40.0 -
实用社交礼仪(第二版)(21世纪高等开放教育系列教材)
¥29.9¥49.0 -
经络腧穴学
¥59.3¥69.0 -
工程图学
¥53.1¥59.0 -
马克思主义基本原理2021年版
¥6.9¥23.0