本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 内容简介 本书作者周煦良(1905—1984)是我国著名英国文学翻译家、教授、诗人、作家。《周煦良文集》收集了作者的主要译著和论著。周煦良先生的主...
给排水管道工程技术 本书特色 《给排水管道工程技术 》:教、学、做一体化教材。国家示范院校重点建设专业。给排水管道工程技术 内容简介 本教材为国家示范院校重点建...
永野裕之,拥有20多年教学经验的“数学达人”,现任永野数学私塾校长。这是一所同时面向在校学生和成年人开班的数学培训学校,该校曾被NHK电视台、《日本经济新闻》、...
西方哲人论儿童教育 内容简介 本书集十余位西方哲人及名人对儿童教育的论述。他们从各自不同的角度论述儿童教育的各个侧面,他们又都处于不同时代,从而细心的读者可以从...
税务会计实务习题与项目实训 内容简介 《税务会计实务习题与项目实训》,本书作为《税务会计实务》的配套教材,是以*新税法和会计准则为依据,通过整合出的9个项目,对...
《物理学中的张量分析》主要内容:描述自然规律的物理定律和定理在坐标变换时,左右两边必须同样变换,才能保证这些定律和定理在
建筑构造-(下册)-(第五版)-(附网络下载) 本书特色 刘建荣、翁季、孙雁主编的《建筑构造(下第5版)》以大型公共建筑构造为主要内容,包括高层建筑构造、建筑装...
小熊维尼 本书特色 《小熊维尼》首版于1926年,故事中的男孩克里斯托弗.罗宾原型为作者米尔恩的儿子,小熊维尼和其他动物形象则来源于克里斯托弗·罗...
化学-高考复习讲义-课标专用-2010一轮精品 内容简介 新:紧跟新考试说明,全新的复习理念,新颖的背景材料,新课标地区新近模拟题,大量名师原创题,力求让你耳目...
议论文论题 论点 论据 论证宝典 本书特色 《议论文 论题 论点 论据 论证宝典》:全新的作文理念引领你轻松写就议论文!112个你所关注的论题112条到位论题解...
群体智能与数据挖掘 内容简介 《群体智能与数据挖掘》围绕群体智能的机制原理与算法在数据分析、数据挖掘领域中的应用,分为“概念与基础篇”“理论与实践篇”“应用与发...
成语小学堂双色版:出口成章(1A级) 本书特色 《成语小学堂 出口成章》是通过讲述精彩的故事,辅导小学生学习和使用成语的优秀读物。 故事中运用的成语都有红色标注...
初级-DK新视觉-人人学英语-第2册练习册 本书特色 我们如何做到“一套书搞定英语”: 1.有品牌!DK风格自成一派!全球首套英语自学教程 国际知名英语教学顾问...
数学精神巡礼 本书特色 内容简介:本书共分八章:*章科学与科学精神;第二章人文与人文精神;第三章数学精神;第四章数学精神的光辉结晶—数学推理;第五章...
威廉·布格罗是20世纪初逝世的法国绘画大师,也是19世纪法国学院派绘画,以及沙龙大展画家群里的精英。他描绘人体的结构肌理,以及各种姿态表情,极有丰富多变的说服力...
新编《信息、控制与系统》 系列教材微弱信号检测(第3版)/高晋占 本书特色 微弱信号检测是发展高新技术、探索及发现新的自然规律的重要手段,对推动很多领域的发展具...
孩子的奇妙问题大师的高明回答提问是孩子的专利,他们的小脑袋瓜里总是充满了各种奇思妙问。宇宙的问题、动物的问题、自己身体的
小学六年级-少年数学辅导教程-华罗庚金杯 本书特色 中国少年报社培训中心是因承办“华杯赛”的需要而建立的,主要从事“华杯赛”的组织、培训工作。目前市场上林林总总...