《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
第0章 集合基础
第1章 命题逻辑
1.0 闲话形式语言
1.1 命题逻辑的语言
1.2 真值指派
1.3 解析算法
1.4 归纳与递归
1.5 命题联结词
1.6 交换电路
1.7 紧致性和能行性
第2章 一阶逻辑
2.0 预备知识
2.1 一阶语言
2.2 真值与模型
2.3 解析算法
2.4 演绎计算
2.5 可靠性与完备性理论
2.6 理论的模型
2.7 理论之间的解释
2.8 非标准分析
第3章 不可判定性
3.0 数论
3.1 有后继数的自然数
3.2 数论的其他归约模型
3.3 数论的子理论
3.4 语法的算术法
3.5 不完全性和不可判定性
3.6 递归函数
3.7 第二不完全性定理
3.8 幂乘运算的表示
第4章 二阶逻辑
4.1 二阶语言
4.2 斯科伦函数
4.3 多类逻辑
4.4 广义结构
附录A 推荐读物
附录B 符号列表
索引
最美丽的人是自己 本书特色 手心里的太阳,虽然微小,却能够折射出这大千世界里*璀璨的光芒。 ——《手心里的太阳》佚名 不是...
马克思主义基本原理概论 本书特色 本书含马克思主义基本原理概论自学考试大纲。课程旨在帮助高中以上文化程度的自学应考者加深对中国化的马克思主义各大理论成果和党在社...
五年级/小学数学易错题精编 本书特色 如果你时间多,仔细通读一遍,通过计算不断巩固提高,小学数学内容成竹在胸;如果你时间紧,快速浏览一遍,重点看一下你经常错的章...
国学经典文库老残游记,孽海花 本书特色 现代社会日新月异,科技创新目不暇接,它给我们便捷,使我们强大,有时,却让我们彷徨——我们的精神也需要能量。 何需四处探寻...
教孩子学方法的88个数学游戏(3)-好方法胜过好老师 本书特色 陈泽河主编的《教孩子学方法的88个数学游戏(3)》为开放性系列,预设置数学游戏三种、侦探游戏三种...
集群式供应链的服务运营模式与计算实验研究 本书特色 本书以服务系统的构建和运营为主线,从企业协同的运营模式、运营优化与策略验证出发,形成了“跨学科集成”的集群式...
色彩构成 本书特色 刘可等编著的《色彩构成》第1章主要写了不同时期的色彩研究、色彩构成的理论与实践。第2章从色彩产生的原理出发,阐述了色彩物理学、生物学及心理学...
错题本(4册套装) 内容简介 本书稿是“错题本”中的《作业记录本》,是让中小学学生记录每天老师布置的作业,或自己今天需要完成的学习任务,每一页分成三列,分别是:...
小学生大字典-彩色插图-教材版 本书特色 根据义务教育国家课程标准,参照国家*新语言文字规范标准,结合国内各版本语文教材编写。内容丰富,功能实用。设置注音、部首...
一年级数学(上)-BS-黄冈小状元作业本-最新修订 内容简介 一、做小状元作业,与名校同步,与尖子生同步。一流名校怎么训练?尖子生做哪些作业?我们这套作业本将全...
茵梦湖--双语对照2000常用单词读遍世界名著 本书特色 《茵梦湖》是施托姆创作初期*重要的作品,同时也是他*受读者欢迎的一部小说。在这部小说中,他以一种生动的...
文言文全解:鲁教版.六-九年级 初中 内容简介 本书与鲁教版初中语文必修教材同步配套,主要包括以下内容: ?介绍作家作品,讲解中心思想与写作技巧,帮助学生积累文...
脱口而出初级 内容简介 例如,针对大家发音不准甚至不会发音的情况,本系列图书编排了“口语原声带”、“美音练说馆&rd...
新编日语(修订本)同步辅导及随课拓展练习 本书特色 《新编日语·同步辅导及随课拓展练习1(修订本)》:你所要学的,尽在这里——本课学习重点、重点单词解析;语法句...
刑法学[2006年版] 本书特色 这是本全国高等教育法律专业自学考试指定教材。全书共分两大部分:教学内容和考试大纲。具体分三编:绪论、犯罪论、刑罚论和罪刑各论。...
如何高效学数学(初中版)(第2版) 本书特色 本书根据教育部《全日制义务教育数学课程标准》精神,由一批数学特级教师编写,是专为初中生如何高效学数学而量身定做的,...
新标准中小学分级英语读物--洛杉矶电影 本书特色 我们为同学们提供的不仅仅是一本本有趣的读物,还为你们提供了许多宝贵的机会……不断阅读掌握新知识的学习机会、接触...
新书--跟大师学语文:怎样学习文言文 本书特色 文言文是中小学生语文课本中必学必考的内容,加之国家对传统文化的重视和提倡,文言文在课本中所占比例越来越大。文言文...
《男孩不该走的路:破解男孩心智成长中的困惑与危险》内容简介:一位妈妈说:“我知道儿子有烦心事,但他就是不肯告诉我他的感觉!
小学数学教学基本概念解读 本书特色 这是一本高观点下的小学数学教学专著。这是一本为小学数学老师答疑解难的教学工具书。这是一个高水平的小学数学教师团队的倾力之作。...