《数理逻辑(第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 符号列表
索引
小学中高年级-跟着名师高分作文不是梦-像讲故事一样教你写作文 本书特色 《小草老师教你写作文》系列图书是作文培训辅导名师小草老师和全国苏教版小学语文课堂教学大赛...
英国文学批评学 本书特色 李维屏等编著的《英国文学批评史》旨在全面、系统地阐述英国各个历史时期代表作家的美学思想、创作观念和批评理论,揭示其自文艺复兴时期以来的...
别怕!-在外企说英语其实很简单 本书特色 英语考试不行?进外企?没问题!流利不是重点,沟通才是关键,快速掌握听懂、能说、会写的技巧,即学即用。 《别怕在...
方洲新概念--小学英语阅读起步 内容简介 本书选材新颖,内容由浅入深。每个篇章都有“记单词”、“小试锋芒”、“朗读好句”和“译文”四个栏目。随着阅读难度的提高,...
汪曾祺散文精选-青少版 本书特色 这是一套专为青少年量身打造的名家散文经典读本,作者分别为林清玄、琦君、汪曾祺。精选了适合青少年阅读的经典散文,同时也收录了入选...
世界著名少儿历险故事丛书--智生危途 本书特色 《智生危途/世界著名少儿历险故事丛书》编著者高帆。《智生危途/世界著名少儿历险故事丛书》内容提要:把一部十几万乃...
爱无可忍 本书特色 风景如画的伦敦郊野,五个可以说都是助人为乐的陌生人一道赶去救助一起热气球事故,但或许只不过一瞬间的犹疑、自私,一个大活人就在大家眼前顷刻间殒...
学生新华字典-精编大字本 本书特色 《学生新华字典》主要服务对象是中小学生以及同等文化程度的读者。按照《通用规范汉字表》收录规范汉字8 105个,标注字音、字级...
英语分类词汇记忆与阅读理解:天文篇:英汉对照 内容简介 本册书选收了宇宙、银河、黑洞、太阳系、行星等有关天文方面的24篇英汉对照文章,每篇文章的前面列出了主要单...
《微信营销与运营解密:利用微信创造商业价值的奥秘》内容简介:这是一本系统总结微信营销与运营的方法和技巧的经验性著作,所有内
九年级-初中生天天诵读 本书特色 诵经典,描绘人生底色品美文,陶冶美好心灵本书精选经典篇目,非常适合学生朗读,帮助学生在潜移默化之中掌握传统文化知识,提升自我素...
了不起的盖茨比 本书特色 20世纪20年代的美国,呈现出一片歌舞升平的景象,市场的虚假繁荣,掩盖了许多现实问题。金融职员尼克偶然间结识了富豪盖茨比——一个喜欢称...
鲁滨逊漂流记(一步惊险刺激的荒岛求生信使) 本书特色 《鲁宾逊漂流记》是英国现实主义小说的开山之作,航海探险小说的先驱。小说的主人公鲁宾逊出生于一个中产阶级家庭...
《萧何(中华先贤人物故事汇)【中宣部2022年主题出版重点出版物】》内容简介:他们的思想、品德、事迹,是中华优秀传统文化的结晶
朱自清散文精选(语文必读丛书) 内容简介 朱自清由一个正直的知识分子,成为一个进步的教授;由一个旧社会的狷者,成为一个民主的斗士。他走过了自己的曲折道路,毛泽东...
英语专业八级听力特训(新东方) 本书特色 为帮助广大考生顺利通过英语专业四级、八级考试,本书编者在精研考试大纲和历年真题的基础上,精心策划编写了这套专四、...
韩国语阅读-(高级) 本书特色 韩国延世大学韩国语学堂多年来一直致力于对外韩国语教育的研究,是世界著名的对外韩国语教育权威机构。其集多年教学经验之大成,精心编写...
自然哲学之数学原理 本书特色 *忠于原著的中文译本,牛顿经典力学**部划时代的巨著,影响遍及经典自然科学的所有领域!《自然哲学之数学原理》达到的理论高度是前所未...
呼啸山庄 本书特色 弃儿希斯克厉夫被“呼啸山庄”的主人恩萧收养,恩萧的女儿凯瑟琳与他从小友爱,产生了炽烈的爱情。而庄主的儿子辛德雷却仇恨他,老恩萧死后,把他降为...
小熊维尼 本书特色 《小熊维尼》首版于1926年,故事中的男孩克里斯托弗.罗宾原型为作者米尔恩的儿子,小熊维尼和其他动物形象则来源于克里斯托弗·罗...