《数理逻辑(第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 符号列表
索引
语文学习指导与能力训练-下册-(基础模块) 内容简介 《语文学习指导与能力训练(基础模块)(下册)/中等职业教育“十二五”规划教材》是《语文》(基础模块)(下册...
新编英汉翻译教程 内容简介 本书的**编“翻译的基本原理”共分11章,所讲的理论问题大致构成了一个基本完整的体系,可以帮助学生掌握翻译的基本原理、基本方法和基本...
民族学理论与方法 本书特色 《研究生系列教材?民族学理论与方法》由中央民族大学出版社出版。民族学理论与方法 内容简介 本书分上下两编。上编为民族学理论概括与探索...
安徒生童话-彩色注音版 本书特色 《安徒生童话》是一部妇孺皆知的文学巨著,它是由丹麦著名诗人、童话作家安徒生历时近40年创作而成。安徒生生前曾得到皇家的致敬,他...
微分几何及其在力学中的应用 内容简介 本书是作者根据多年来为北京大学力学系研究生和高年级本科生讲授同名课程的讲稿编写而成的,书中系统介绍了微分几何的基础知识。全...
内容提要《蒙台梭利早期教育法》本书是蒙台梭利博士的第一本儿童教育专著,被译成20多种文字,是她对自己亲手创立的“儿童之家”
儿童彩图注音版-水孩子 内容简介 汤姆本来是一个扫烟囱的小男孩,他不知道自己的爸爸妈妈是谁,每天都被师傅葛林虐待。一次偶然的经历,汤姆在仙女的帮助下,变成了可爱...
我为音标狂 英语发音一本就够(振宇) 本书特色 《我为音标狂 英语发音一本就够》是一本练习发音、打造纯正口音的语音学习书。本书不仅讲解了英语中*基本的26 个字...
中国散文入门寻味 本书特色 在中国散文史上,出现过“唐宋八大家”等卓然成家的散文家,也出现过桐城派等影响很大的散文流派。白亚楠编著的《中国散文入门寻味》一书,将...
初级缅甸语会话教程 本书特色 权威专家审定,内容翔实新颖;专业标准发音,情景真实生动;课文练习结合,掌握倍加轻松;语言文化并重,理解全面深刻。初级缅甸语会话教程...
我的第一本英语书(故事篇) 本书特色 《我的*本英语书故事篇》从日常生活中的行为规范、生活习惯等进行编写的故事书,教育孩子每天早晚刷牙、饭前洗手,养成良好的生活...
老人与海 本书特色 美国作家欧内斯特 海明威在1952年发表的小说《老人与海》里塑造了一位普通而又可敬的永不言败的劳动者形象。一种不屈不挠的精神始终贯穿于故事当...
考研英语词汇词根+联想记忆法-乱序便携版 本书特色 《考研英语词汇词根 联想记忆法:乱序便携版》由以下内容构成:●核心单词,本书收录历年考研常考单词,分为50个...
热点话题篇-中考作文冲刺满分 本书特色 顶级实战经验团队为您保驾护航——命题专家:直击命题核心,掌控中考走势;阅卷老师:精解满分细节,揭秘满分绝招;一线名师:归...
中医执业医师资格考试考点速记突破胜经-(上下册)-最新版 本书特色 执业医师资格考试考点速记突破胜经丛书”是针对执业医师资格考试的备考辅导用书。本套丛书由知名培...
7天打造高考英语单词王-快速盘点900语法点 本书特色《7天打造高考英语语法王:快速盘点900语法点》,优秀高考生的首选,让你专注、高效! 作者精研了近5年的高...
100学时韩国语2(附光盘) 本书特色 本书为延世大学韩国语经典教材速成系列教材之一,主要为在短时间内理解并掌握韩国语的学习者提供简捷而轻松的学习方式。该书为《...
神话传说-小学生课外精读 内容简介 本书是小学生课外精读中的神话传记分册。书中收入了大量中外神话传说故事,每个故事均有注释及配图。本书内容丰富,图文并茂,篇幅短...
结城浩(作者)生于1963年,日本知名技术作家和程序员。在编程语言、设计模式、数学、加密技术等领域,编写了很多深受欢迎的入门书。代表作有《数学女孩》系列、《程序...
中共党史学概论 本书特色 1 内容升级,体现知识更新。本书是此领域*新质量*高的一本教材,代表当前此一领域*新的研究成果和方向;2 弥补专业教材空白,本书是当前...