《数理逻辑(第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 符号列表
索引
触摸语言世界(上)-现代语文-中学读本-1 本书特色 语文性和人文性结合得*好的一套中学语文读本,全面提高中学生语文素养。& 卖点及关键词编排合理,选文新而精,...
最美丽的人是自己 本书特色 手心里的太阳,虽然微小,却能够折射出这大千世界里*璀璨的光芒。 ——《手心里的太阳》佚名 不是...
原创经典作品 霞光是太阳开出的花 本书特色 《原创经典作品:霞光是太阳开出的花》内容简介:善读糟品美文,拾取久违的感动;体悟百味人生,感受成长的快乐。阅读其问,...
从零快乐学日语练习册-附赠MP3光盘 本书特色 学日语不用死记硬背,用耳朵就能轻松搞定!*值得期待的零基础日语入门学习书,韩国销量**!藤井麻里老师的声音学习法...
中国古代文学史-(上) 本书特色 由中国古代文学史编写组编写、袁世硕主编的《中国古代文学史(上马克思主义理论研究和建设工程重点教材)》一书运用马克思主义历史唯物...
提分其实很简单-高考状元告诉你 本书特色 你,还在为自己的成绩而烦恼吗?你,还在为找不到提分的方法而痛苦不堪吗?你,真的可以成为万众瞩目的焦点吗?有这样一个机会...
昆虫记-中小学生必读书-最权威珍藏本 本书特色 《昆虫记》是法国昆虫学家法布尔倾其一生心血写就的科学巨著,是世界公认的青少年科普经典,畅销两个世纪。在他的笔下,...
四级英语晨读经典100篇-(附赠四小进MP3光盘1张) 内容简介 如果片面地把这本书认为是一本朗读素材的罗列就大错特错了,在每一篇朗读文章中,我们按照四级考试的...
《吴玉章论教育》内容简介:习近平总书记强调,办出世界一流大学,首先要在体现中国特色上下功夫。当前,教育理论研究急需扎根中国
地狱不是我们忍受痛苦的地方,而是没有人听到我们正在忍受痛苦的地方。不可小觑的土耳其实力作家代表作,一部向薄伽丘《十日谈》致敬的土耳其当代小说。一间密室,四个囚徒...
中国环境下的英语教师与发展研究 本书特色 《中国语境下英语教师教育与发展研究》由河北大学出版社出版。中国环境下的英语教师与发展研究 内容简介 简介本书将英语教育...
格列佛游记 内容简介 《格列佛游记》不但具有深刻的思想内容,而且具有比较完美的艺术形式。斯威夫特的艺术技巧有许多地方是值得我们借鉴的。首先,斯威夫特利用虚构的情...
无敌高考数学总复习-文科专用 本书特色 《无敌高考数学总复习(文科专用)》名师主笔,一线特高级教师亲自遴选,全面传授毫无保留,引领你取道*佳夺分捷径。胜券在握,...
韩刚B2A译点通-9天高分通关CATTI/MTI笔译逆向训练宝典 本书特色 本书是作者将近几年面授和网络授课的精华素材提炼出来,并采用其独创的“CE...
中国古代寓言选--汉英对照 内容简介 本书是“经典的回声·ECHO OF CLASSICS”丛书之一,是本优秀的英译图书。以汉英对照的形式介绍了《中国古代寓言选...
《摄影美学六讲》内容简介:摄影的学习,不单单是学习技术,更要学习理念,本书面对摄影初学者及进阶学者,从摄影的六大主题——器
吸血鬼复仇记 本书特色 英汉对照,语言注解,文化导读。著名儿童文学专家浦漫汀教授推荐,跟世界级卡通明星一起,动脑速解疑案,张口酷说英文。嘿,你认识史酷经和他的四...
提高幼儿教育质量 本书特色 日本福岛大学大宫勇雄教授针对日本保教市场化问题,从如何确保保教的质量出发,借鉴了欧美各国的有关研究成果,对日本的保教市场化进行了深入...
《Dokidoki Book心动笔记》内容简介:《心动笔记》是梁阿渣在微博上连载漫画——我的蠢室友的衍生出版物,描绘了“北漂小鲜肉”梁阿
《感悟考古》内容简介:《感悟考古》分为十个部分,即导言、"考古工作者应该具有科学的挑战精神"、"考古学文化因素分析"、"考古学文