《数理逻辑(第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 符号列表
索引
约翰·克里斯朵夫:第二卷:VolumeⅡ 本书特色 我们已经在“*经典英语文库”的上一辑(第四辑)里,出版了《约翰克里斯朵夫》**卷。现在,在第五辑里,出版罗曼...
中学生作文大百科万能宝典满分升级 本书特色 《中学生作文大百科万能宝典:满分升级》:全国的语文老师到底渴望拥有一本怎样的作文书呢?全国的中学生到底应该常备一本怎...
计算机引起的数学哲学反思 内容简介 《计算机引起的数学哲学反思》共分为五章,具体内容如下:**章回顾了计算工具的演变,特别是由于科学技术的发展而促使电子计算机的...
华罗庚金杯少年数学邀请赛集训指南 本书特色 《华罗庚金杯少年数学邀请赛集训指南》和《华罗庚金杯数学邀请赛集训题典》,其中《华罗庚金杯少年数学邀请赛集训指南》由浅...
新编汉语辞海(2卷) 本书特色 ★ 16开精装,光明日报出版社出版★ 内容全面:每个字的笔划顺序部首、英文和五笔字根都包含在内,方便孩子学习写字★ 图文并茂:全...
人类行为.学习和脑发展-非典型发展 本书特色 唐纳·科克、杰拉尔丁·道森、库尔特·W·费希尔主编的这本《人类行为学习和脑发展--非典型发展》主要考察了正常发展儿...
本书探讨的是教育问题。本书就是在希尔斯过世后,由他的几个弟子从他有关论述高等教育的若干论文中选编辑成的。所以从严格意义上
造梦课堂-创意语文13节 本书特色 本书收录了著名儿童阅读推广人周益民老师的13节课堂实录,展示了周益民的诗意母语课堂。这些案例是周益民老师针对不同文本教学的课...
数学分析的思想与方法 内容简介 本书通过多角度、深层次、全方位地探讨了数学分析学科的思想方法,全书共分为六部分:**部分对数学分析内容体系中所体现的重要思想进行...
商务英语笔译-商务英语系列课程教材 内容简介 本书是《商务英语系列课程教材》之一,共15个单元,分为两个部分:前9个单元为英译汉,后6个单元为汉译英。每个单元的...
古代汉语常用字典 本书特色 《古代汉语常用字典》是一部供中等以上文化程度的读者,尤其是在校大、中学生学习古代汉语和阅读古籍使用的中型语文工具书。古代汉语常用字典...
边城·湘行散记·湘西 内容简介 现代社会要求公民具备良好的人文素养和科学素养,具备创新精神、合作意识和开放的视野,具备包括阅读理解与表达交流在内的多方面的基本能...
商务法语 内容简介 随着中法两国在文化和经济等领域交流的不断加深,两国的友好关系日益密切,法语教学也日益受到社会的重视。为了使教学适应社会发展的需要,当务之急在...
教师专业发展 本书特色 《教师专业发展(中小学教师培训用书)》编著者杨晓。《中小学教师培训用书:教师专业发展》为了满足基础教育改革和教师教育课程改革的需要,真正...
《管理学基础》内容简介:本书主要为满足高职高专经济、管理类各专业教学的需要,根据近年来管理学的发展和实践情况,以及编者多年
国际法学 本书特色 国际法学是法学专业的核心课程,体系复杂,内容丰富。本教材是根据法学专业本科生培养目标的要求而编写的,重在阐述国际法的基本原理和主要部门国际法...
审计学(2009年版) 本书特色 本教材是全国高等教育自学考试会计专业、企业财务管理专业开设的一门专业课指定教材,按照该课程2009年修订的自学考试大纲进行编写...
化学-北京5年中考试题及答案选编(2013-2017) 目录 北京市2013年高级中等学校招生考试北京市2014年高级中等学校招生考试北京市东城区2013~20...
标准日本语常用惯用表达场景会话-地道表达2000例 本书特色 《标准日本语常用惯用表达场景会话地道表达2000例》由世界图书出版公司出版。标准日本语常用惯用表达...
外语学界:2014 第3卷:美国研究卷 本书特色 美国亚太战略新动向美国民主党和共和国之争——“大政府”与“小政府”的视角奥巴马时期的移民改革与美国政治宾夕法尼...