《数理逻辑(第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 符号列表
索引
物流英语:英汉双语 内容简介 本书涉及物流概况、仓储与库存策略、运输、采购、物流新视点等方面的内容,此外,加大了对供应链管理与物流信息系统的阐述,相关章节增加了...
平法识图与钢筋算量 内容简介 本书针对现浇钢筋混凝土框架、框架-剪力墙、剪力墙结构类型中的结构构件进行分别介绍, 包括课程导入、现浇钢筋混凝土柱、现浇钢筋混凝土...
图解日新月异的科技-图解奇妙的科学 本书特色 科技是推动我们人类发展的主要动力,对迅猛发展的科学技术知识进行普及,不仅可以使我们了解当今科技发展的现状...
中国那个地方(精装版)(4书+4CD-ROM) 本书特色 通过图片了解中国基本国情的简易读物,大量精美图片配简短文字说明。全文加注拼音,全文英语翻译,全文汉、英...
Б.П.吉米多维奇数学分析习题精选精析:1:最新版 内容简介 本习题集精选出原Б.П.吉米多维奇习题集的4462道中的2340道进行精解精析。内容包括:分析引论...
全新版大学英语(第二版)听说教程(1)教师手册 本书特色 虞苏美、李慧琴主编的《全新版大学英语·听说教程(教师手册1)》(第二版)集信息性、知识性、趣味...
经济法概论(2009年版)自考 本书特色 《经济法概论:附经济法概论自学考试大纲(2009年版)》:全国高等教育自学考试指定教材·法律专业经济法概论(2009年...
最美现代诗-中学生读本 本书特色 该书依据中学语文教学大纲的要求,精选了鲁迅、徐志摩、郭沫若等等国内外名家的上百篇现代诗,并在每篇后面附有简明扼要的阅读指要和作...
国学经典文库:资治通鉴 内容简介 《资治通鉴》 是中国**部编年体通史, 全书共二百九 十四卷, 约三百多万字, 是宋代史学家司马光历时十九年完 成的. 这部巨...
在科技层面,各种改变生活并且塑造了世界的重大革新和创造。不仅仅是终结流言、拓展思考的边界,科学的巨大力量还在于对现实的巨
经济应用数学基础(一):微积分(第三版)习题解答与注释 内容简介 《微积分(第三版)学习参考》一书不仅包含教材中所有习题的解答及注释,而且还针对一些重要的知识点...
一本老少咸宜的编程入门奇书!一册在手,你完全可以带着自己的孩子,跟随Sande父子组合在轻松的氛围中熟悉那些编程概念,如内存、
化学(5有机化学基础2022)/高考必刷题 内容简介 产品介绍: 1、模块细化,微专题练习; 2、新题+经典题+2021年高考真题,题型和知识覆盖全面,方便任何...
社会主义核心价值大众化传播研究 内容简介 《社会主义核心价值大众化传播研究》对价值、价值观、核心价值、核心价值观、社会主义核心价值、社会主义核心价值观、社会主义...
本书介绍科学计算需要的各类数值分析方法,不但在严谨的数学科学背景下进行讨论,而且给出了数值分析方法的严格证明。内容宽泛而
旺文社国语辞典-(第九版) 本书特色 随着时代的进步,语言也在发生化,新的语言在不断出现。年轻人对传统的语言的用法以及老年人对新的词语的理解都存在着一些问题。日...
中央典藏版 了不起的盖茨比 本书特色一次偶然的机会,穷职员尼克闯入了挥金如土的大富翁盖茨比隐秘的世界,尼克惊讶地发现,盖茨比内心惟一的牵绊竟是河对岸那盏小小的绿...
统编语文教科书必读书目-快乐读书吧·愿望的实现(二年级下册)彩绘四色 本书特色 本套大型阅读丛书,作为国家统编小学语文教科书一至六年级的组成部分,供师生在语文课...
周煦良文集5 内容简介 《周煦良文集5》作者周煦良(1905-1984)是我国著名英国文学翻译家、教授、诗人、作家。《周煦良文集》收集了作者的主要译著和论著。周...
想象 读后感-我的第一本最有趣最有趣的作文书 本书特色 本书根据新课程标准和小学生写作的需要,讲述想象作文和读后感的基本方法。上篇为想象文,下篇为读后感;开篇分...