本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。
引言:什么是数理逻辑?
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 自然的不可判定语句
第十一章 结束语
附录
哥德尔的生平
哥德尔的主要数学工作
参考文献
索引
新编外国法制史-下册 本书特色 《新编外国法制史(下册)》为外国法律制度发展史方面的教材,时间从公元前2000年前的古代两河流域开始直至当代,穿越几千年;地域横...
商务英语口译教程学生用书 内容简介 “新世纪商务英语专业本科系列教材”是国内首套按照《高等学校商务英语专业本科教学要求》(试行)编写的商务英语专业教材。教材以现...
实战篇-初中现代文阅读考点即时破解 本书特色 本书为中考语文现代文阅读专项突破,分成技法和练习两本。本册为练习篇,方便学生在学习技法时通过有针对性的练习去消化吸...
中国智慧故事.4:权谋兵法篇(汉英对照) 本书特色 本书搜集了中国历史经典中*著名的故事。这些引人深思的故事是中国智慧宝库里的明珠。读者即使不熟悉中国历史,也能...
伍尔福克教育心理学(原书第11版) 本书特色 相较上一版,第11版在内容上做出重要补充,并在诸多方面调整了框架体系。本书版本在多个章节中增加了有关脑、神经科学和...
TOEFL词汇词根+联想记忆法-45天突破版 本书特色 本书以托福考试为依据,选取了约3,900个核心单词及670多个核心词组,并补充大量的派生词及相关单词,共...
本书系统讲述微积分的基本概念、方法和应用。书中提供了大量经济、商业、生命科学、物理学、社会科学等方面的例题与习题,例如,
《落花生》内容简介:《落花生》是许地山的散文集,他的散文多以朴实诚挚的语言描绘生活感悟与精神世界,善于用简练的文笔营造出清
成长必读2-史前怪兽百科(儿童注音版) 本书特色 几亿年前生活在地球上的史前怪兽,它们的残酷和怪异远远超出我们的想象。异齿兽、三叉齿兽、袋鼠、巨袋鼠、远角犀、帝...
商务英语口译-(附CD-ROM一张) 本书特色 “高等学校英语专业系列教材”是一套为英语专业高年级本科生和研究生编写的教材,包括高级英语语言技能、英语专业知识和...
学生唐诗辞典-百科版-彩色版 本书特色 《学生唐诗辞典(百科版 彩色版)》共收唐代138位诗人的诗作407篇。正文中作家的排列以生年先后为序,生年无考的,按在世...
菲利克斯 · 克莱因(Felix Klein,1849—1925):德国杰出的数学家、数学史家和数学教育家,现代国际数学教育的奠基人,对数学研究和数学教育产生了...
食品发酵技术/孙勇民/中国轻工业十三五规划立项教材.高等职业教育食品生物技术专业教材 本书特色 本教材内容涵盖了现代发酵食品的原料及处理、生产工艺及控制、常见质...
儿童文学名家经典书系小灵通漫游未来/儿童文学名家经典书系 本书特色 一个眼明耳灵、消息灵通的小记者——小灵通三次到未来漫游,在小虎子、小...
本书是一本随机过程的优秀教材,不仅以浅显易懂的语言阐述基本概念和方法,而且通过一些非常基础的应用实例,让读者了解如何应用
国家执业药师资格考试全真模拟及精解:中药学类分册 内容简介 该书给出了考试题型介绍与答题技巧,书中含有三套模拟试卷,与当前的考试大纲、考试内容、考试形式相一致,...
中国传统数学思想史 内容简介 本书以中国历史上有代表性的数学家和数学著作为基点,比较系统地叙述了自上古以来传统数学思想的起源与发展历程,阐述中国传统数学思想的成...
绝对合格!N1语法出题倾向与解题技巧-沪江网校超值赠送20元学习卡 本书特色 从2010年7月起,日语能力考试改头换面,焕然一新。从科目来看,仍然是由“文字词汇...
丁继泉与主动教育 内容简介 《教育家成长丛书》旨在研究、宣传和推广教师队伍中众多名师的先进教育思想、科学的教书育人方法、探索创新的成果和鲜活的教改经验,促...
《幸福力》内容简介:你幸福吗? 回答“是”的人,不见得真的理解幸福。回答“不”的人,并不一定真的不幸福。幸福到底是什么? 是