本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
0.1 逻辑史早期的几个重要里程碑
0.2 课程大纲
第一章 预备知识
1.1 证明的必要性
1.2 集合
1.3 关系
1.4 函数
1.5 等价关系与划分
1.6 序
1.7 结构的例子
第二章 命题逻辑
2.1 引言
2.2 命题逻辑的语言
2.3 真值指派
2.4 唯一可读性
2.5 其他联词
2.6 命题逻辑的一个推演系统
2.7 命题逻辑的自然推演
2.8 命题逻辑的可靠性和完全性定理
2.9 模态逻辑简介
第三章 一阶逻辑的语言
3.1 一阶逻辑的语言的定义和例子
3.2 自由出现和约束出现
第四章 形式证明
4.1 一阶逻辑的一个公理系统
4.2 推理和元定理
4.3 其他元定理
4.4 前束范式
4.5 自然推演
第五章 一阶语言的结构和真值理论
5.1 一阶语言的结构
5.2 可定义性
5.3 同态和同构
第六章 哥德尔完全性定理
6.1 可靠性定理
6.2 完全性定理
6.3 自然推演系统的可靠性和完全性
6.4 紧致性定理及其应用
第七章 递归论的基本知识
7.1 原始递归函数
7.2 递归函数
7.3 图灵机
7.4 图灵可计算函数与部分递归函数
7.5 递归可枚举集
第八章 简化版本的自然数模型
8.1 紧致性定理及其应用
8.2 可判定的理论
8.3 只含后继的自然数模型
8.4 包含后继和序的自然数模型
8.5 普莱斯伯格算术模型
第九章 哥德尔第一不完全性定理
9.1 可表示性
9.2 语法的算术化
9.3 不动点引理和递归定理
9.4 不可定义性、不完全性和不可判定性
第十章 哥德尔第二不完全性定理
10.1 可证性条件
10.2 第二可证性条件(D2)的证明
10.3 第三可证性条件(D3)的证明
10.4 哥德尔第二不完全性定理
10.5 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
外文出版社3年级/赖世雄小学英语阅读轻松练100篇 本书特色 本书适合小学三年级学生使用。全书共100篇阅读,分为基础篇和提高篇。每篇阅读单词注释、短文的中文翻...
全新五用英汉词典 内容简介 本书分五部分,**部分包括常用的重要动词、形容词、普通名词及抽象名词3000个;第二部分收集新时代时文词汇650个,动词短语、惯用语...
语文助考必读名著:红楼梦 内容简介 《红楼梦》又名《石头记》,是中国古典小说的dianfeng之作,位居“中国古典四大名着”之首。一般认为全书前八十回由清代小说...
中国历史故事 本书特色 中华民族是一个具有悠久历史和灿烂文化的民族,在漫长的历史进程中,我国发生过无数轰轰烈烈的事件,涌现出许多叱咤风云的人物。本书在编撰时参考...
配合义务教育语文教科书 写字 铅笔字 一年级 下册 内容简介 亲爱的同学们,这套《写字》是配合义务教育语文教科书编写的。我们编写的目的一是培养和提高同学们的写字...
学校食堂管理教程 本书特色本书以中小学的学校食堂为研究对象,全面介绍学校食堂管理的项目、原则和方法。本书是一部集食堂食品生产知识和食堂管理方法为一体的综合性用书...
袁腾飞讲高效学习法 本书特色 你知道为什么有些同学埋头书山题海,成绩还不能提高吗?你知道为什么有些同学轻轻松松就能考高分吗?你知道怎样听课,才能迅速掌握老师所讲...
句霸校园生活篇8000句(环球天下英语) 内容简介 李俊清主编的这本《句霸·校园生活篇》所选的话题与学生生活息息相关,涉及学生感兴趣且乐于交谈的...
《听,青音》内容简介:听,青音。听她的成长故事、听她的奋斗历程,听她与广播的不解之缘,听她眼里的同事、口中的合作者,以及合
2017-贺银成国家临床执业助理医师资格考试辅导讲义同步练习-最新版-新大纲 本书特色 本书作者贺银成是医考辅导*名师,多年来应邀在全国各地讲授临床执业及助理医...
高手篇-商务英语达人秘笈 本书特色 《商务英语达人秘笈(高手篇)》特色:“词语宝典”精心筛选,实用易记;“经典句型”划分细致。便于查找和比较记忆;“口语秘笈”、...
大学.中庸 本书特色 《大学》、《中庸》本是《礼记》中的二篇,《大学》以人的修身为核心,《中庸》强调“诚”,认为“诚”是实现“中庸之道”的关键。 本书将此二书合...
读霸178篇(初中阅读)-疯狂英语-书+MP3光盘 内容简介 英语的核心内容是阅读和写作,而阅读又是写作的基础,基于此,我们推出《初中阅读178篇》。 本书...
德语姓名译名手册 本书特色 本手册汇集了德语姓氏、教名约6万条,适用于翻译操德语的国家、民族(瑞士、卢森堡、匈牙利、罗马尼亚等国操德语的民族)的姓名时使用。本手...
老人与海-小学语文书目-彩图注音版 内容简介 《老人与海》故事的背景是在二十世纪中叶的古巴。主人公是一位名叫圣地亚哥的老渔夫,配角是一个叫马诺林的小孩。风烛残年...
必备素材-中学生作文全书 本书特色 1.写作文手头**一本作文全书。工具性*强的一套作文书。具有现代汉语词典一样的形式感,丰富性和权威性。2.写作文遇难题,就查...
学而思 2017新版 学而思秘籍·小学数学思维培养教程4级 二年级适用 本书特色 《学而思秘籍·小学数学思维培养教程》以提升学生的智能为宗旨,集合...
爱的教育-中外文学名著课程标准达标版 本书特色 本书风靡世界,历久弥新,一个小学三年级学生恩里科在一个学年里的记事,构成这部作品的主要内容,其间穿插着老师每个月...
名家名译·世界经典文学名著:局外人(原汁原味读原著) 本书特色 《□外人》讲述了一个叫默尔索的小职员因过失杀人被指控,*终却因为他在母亲的葬礼上没有流泪而被判处...
全国英语等级考试历年真题全真模拟-第三级-新大纲.2017年考试专用-(附光盘) 本书特色 (待改)全国英语等级考试,简称PETS考试,是由教育部组织的面向全国...