《数理逻辑(第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 符号列表
索引
★ 重新认识印刷出版的力量********************编辑推荐********************印刷在法国大革命中到底起了什么作用?虽然这个问...
黄冈小状元学习法-尖子生每天都在用的60个高效学习方法-第2册 本书特色 《黄冈小状元学习法》是一套汇集多位小学教师经验和智慧的小学生学习辅助读物。书中既有教师...
小学生语文知识宝典 本书特色 这套“小学生工具书库”,是广大小学生学习语文的工具书,是增长语文知识的教科书,是丰富语言积累的资料书,是拓展阅读的**书。拥有之套...
红楼梦-读名著.学语文-增订版 本书特色 本书紧扣阅读与作文两大能力点解读,配合语文考试要点编排内容,名师全新解读,全面提高语文成绩!帮助读者全面熟悉《红楼梦》...
繁星春水 本书特色 教育部重点推荐的新课标同步课外阅读丛书: 《中小学语文课程标准》里,要求学生具有独立阅读的能力,注重情感体验,有较丰富的积累,形成良好的语感...
百紫千红:跨文化电影欣赏 本书特色 本书运用跨文化交流学的基本理论和分析视角,点评了不同国家的100多个电影故事。这些电影的丰富内涵和文化特征各有神奇、百紫千红...
赖世雄高级美语 本书特色 中央人民广播电台连续广播十二年的英语讲座《美国英语教程》*新版本。曾成就了上亿读者的英语学习梦想,是公认的*佳英语教材之一!全程网络支...
本杰明.富兰克林自传-新闻与传记 本书特色 对于本杰明·富来克林,我们该怎样定位?他是政治家,又是科学家,也是作家,还是实业家、经济学家、出版家……他在太多的领...
呐喊 本书特色 本书是作者在1918年至1922年间创作的短篇小说的结集,共14篇;书前有导读,内容包括:你了解《呐喊》的作者鲁迅吗,请简述《呐喊》的创作过程以...
悠游韩国语-学得轻松 玩得畅快(含MP3一张) 本书特色 所谓“求人不如求己”,如果在旅游前,先学会一些简单**的观光韩语,在购物或自由活动时,就可以自己和当地...
《可爱的大朋友》内容简介:米娅在去西双版纳旅游时偶遇了误闯农田的小象,在神奇手表的帮助下,她跟随小象进入了亚洲象的生活领地
世界文学名著:一生必读的劳伦斯名篇·英语原著版(套共4册) 本书特色 ★ 32开平装,中译出版社出版★ 荟萃世界文坛经典,囊括劳伦斯多部代表作★ 全英文版,母本...
爱阅读·语文必读丛书(推荐读物):小王子(无障碍精读版) 本书特色 《小王子》故事情节和人物关系简单明了,主要以“我”和小王子进行对话的...
中学生作文大百科万能宝典满分升级 本书特色 《中学生作文大百科万能宝典:满分升级》:全国的语文老师到底渴望拥有一本怎样的作文书呢?全国的中学生到底应该常备一本怎...
苔丝 本书特色 “书虫”是外语教学与研究出版社和牛津大学出版社共同奉献给广大英语学习者的一大精品。书虫在英语中大概是颇可爱的形象,试想想如痴如醉沉迷于书卷,孜孜...
一起长大的玩具:2年级下/快乐读书吧丛书 本书特色 本套大型阅读丛书,作为国家统编小学语文教科书一至六年级的组成部分,供师生在语文课堂上阅读交流使用。丛书精心遴...
《生命这出戏(2017修订新版)》内容简介:这是一部让你重新提炼生命价值的伟大著作。人生没有假设,当下即是全部。在基本的衣食住
第四届“外教社杯”全国高校外语教学大赛(大学英语组)总决赛获奖教师教学风采 本书特色《第四届“外教社杯”全国高校外语教学大赛(大学英语组):总决赛获奖教师教学风...
世界上最感人的书信-美丽英文-10 本书特色 詹翠琴编译的《美丽英文(世界上*感人的书信)》是*权威经典的英语阅读精品。用快乐的方式,学习美丽的英文;提...
完形+新题型+翻译分册/考研英语(1)历年真题抢分精讲/考研英语抢分系列 本书特色 本分册为商志主编《考研英语(一)历年真题抢分精讲》蓝皮书系列之一:一、完形涵...