《数理逻辑(第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 符号列表
索引
运筹学习题集-(第5版) 本书特色 本书是学习掌握运筹学理论和方法的重要辅助教材,也是教师备课、学生自学运筹学以及研究生入学考试的常备参考资料。本书分为习题、习...
中外巨人传-朱元璋 本书特色 《中外巨人传:朱元璋》朱元璋的国力不断增强,在中国历史上乃至在世界历史上,树立了一个封建专制制度集大成者暨封建专制王朝发展完善的典...
红字(英文版) 本书特色 《红字(英文版)》:1. 霍桑出身于一个宗教气氛浓烈的传统家庭,美国东部早期移民的生活场景及神秘倾向一直在他的作品表现得十分突出,这也...
高效学习方法全集-初中版 本书特色 轻松掌握98种学习方法,一看就懂,一学就会;汇总100位高考状元的优秀学习观念和高分经验;历时5年,覆盖20省市,权威教育机...
托福写作白皮书 本书特色 《托福写作白皮书》凝聚了两位作者近十年的托福教学精华:透析写作评分标准,挖掘托福写作评分要领;根据教学经验和考生反馈,提供*实用、*具...
语文推荐阅读丛书湘行散记/语文必读丛书 本书特色 《湘行散记》是沈从文众多散文作品中的精华。创作于沈从文离开湘西后重回故里之时,1934年,沈从文返回湘西,曾经...
医师分册-中医临床三基训练试题集 内容简介 加强“三基”训练和临床考核,是提升中医人员基本素质和服务质量的重要途径,也是提高临床医疗水平、医院实施分级管理的重要...
法律解释学-(第二版) 本书特色 成文法的生命力在相当程度上取决于法律解释活动,法律解释活动越发达,成文法的生命力就越长久;法律解释活动还可以克服成文法刚性和僵...
莎士比亚三大戏剧故事-文学名著英汉双语读物-第七级 本书特色 莎士比亚是英国文艺复兴时期伟大的创作家、诗人,欧洲文艺复兴时期人文主义文学的集大成者。他流传下来的...
口袋里的英文探索故事书-附赠350分钟光盘录音 本书特色 李丹主编的《口袋里的英文探索故事书(附光盘)》带你突破思维的极限,探寻未知的世界,游走于各地风情之间,...
拉坞戎语研究 内容简介 简介新发现语言的系统调查、深入研究与及时利布,对于进一步了解国情;对于发展语言科学,推动民族语文研究的进一步发展;对于丰富祖国的文化宝库...
小学五年级-希望杯数学能力培训教程-(第2版) 内容简介 《“希望杯”数学竞赛系列丛书:希望杯数学能力培训教程(小学5年级)(第2版)》中所有原始的素材都来源于...
繁星.春水-冰心诗文精选-中国经典文学名著-典藏本 本书特色 专门为中小学生读者精挑细选的世界经典名篇和中国经典名家名篇,囊括中国文学史上灿若明星的各位大师杰作...
数学.教学.哲学 本书特色 《数学·教学·哲学》带你与名师一起走进数学。数学教育是人类的一件大事。古往今来,千万的数学家、教育家、教师和数学教育工作者,不断地总...
听力-新日语能力考试考前对策-N1-(含MP3一张) 本书特色 从听力基本功到新jlpt全部题型,、教你怎么练,教你怎么考听力原文、全部选项均附汉语翻译听力-新...
《手风琴考级曲集(第6套)》内容简介:《手风琴考级曲集》(第六套)由上海音乐家协会手风琴专业委员会编,收入1-10级的考级曲目。
“莎士比亚经典戏剧(中英文对照全译本)”丛书-奥瑟罗 本书特色 《奥瑟罗(中英文对照全译本)》是由《莎士比亚经典戏剧(中英对照)丛书》编委会所编写,中国出版集团...
应用题轻松练 小学生数学应用题轻松练(4年级·下册) 本书特色 《口算 心算轻松练》在选题上融知识性和趣味性于一身,着力培养学生的学习兴趣;内容编排上融基础训练...
认知语言学基础 本书特色 《认知语言学基础》编著者德克·盖拉茨。本书是认知语言学入门读物,由十二篇论文组成,每一篇论文各介绍一个核心概念:认知语法、语法识解、辐...
六级词汇词根+联想记忆法-乱序版-MP3 INSIDE 本书特色 任做新东方的这么多年里,我对自己提出了七句话,作为自己做事情的原则和指导,这七句话是:用理想和...