《数理逻辑(第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 符号列表
索引
未安集:许嘉璐说教育 本书特色 阳春三月,春光明媚,窗外嫩芽绽枝,花蕾欲放,而我却无暇赏此春景,沉浸在拜读许嘉璐先生《未安集》的感动中!我觉得这并不是一本普通的...
初级-韩国语能力考试必备词汇.语法-(含MP3光盘1张) 本书特色 《韩国语能力考试**词汇?语法(初级)》:囊括了历届韩国语能力考试中出现的所有词汇;词汇部分...
三十六计-小学生国学文库彩图版-防近视版 本书特色“小学生国学文库”系列丛书立足经典国学,加入注解和译文,同时选择性地对文字加注拼音,并配有相关历史故事和典故,...
童话与写作 本书特色 童话,这两个美丽的字眼,标志着一个具有诱人的魅力的世界。长期以来,它为读者所喜爱和向往。雨辰编著的《童话与写作》从青少年阶段的学习要求和实...
八年级-活页英语时文阅读理解-快捷英语-11 内容简介 本套图书共含6个分册,分别对应初中和高中6个年级。整套图书体例统一,每册图书由16周内容构成。16周内容...
如你我般相忘 内容简介 我和你一起听音乐,可我们听到的远不止音乐。爱,是音乐的大师,是一切欢乐的主宰,是我们生命中*美好的事。 本书收录了d.h.劳伦斯、雪莱、...
AhistoryoffreedominWesternculturetracestheevolutionofthischerishedideafromancien...
《何处是乡愁》内容简介:梁衡在文学创作方面独树一帜,作品大多视野宏阔,充满磅礴气势。作品融“大事、大情、大理”于一体,具有
启智作文(上下册) 内容简介 本书宗旨,即通过小制作,进一步树立写作新理论——你怎样做就怎样写,让孩子有话可说,有东西可写。本书共包括六个单元:动物、植物、人物...
什么是后现代主义文学 本书特色 后现代主义文学作为一种创作主流出现于20世纪50年代,与后现代主义哲学几乎是同步成为时代的主要思想文化特征。作为一本入门级读物,...
推荐阅读名著·彩插励志版地球的故事(励志版) 本书特色 在这本书里,房龙打破了常规地理书的写作方式,不仅简要地介绍了基本的地理知识,还视角独特地从地理的角度讲述...
颜氏家训:历史上第一部体系宏大的家训 本书特色 《颜氏家训》共七卷,二十篇。篇幅不长,但内容丰富,涉及范围也很广,它论述为学、立身、治家之法,辩证南北时俗之谬,...
新航道-2014考研英语十年真题点石成金(2004年-2013年) 本书特色 本书集合了*近十年(2004年-2013年)全国硕士研究生入学考试的英语真题,每套...
心-日汉对照全译本 本书特色 小说以徐缓沉静而又撼人心魄的笔致,描写了爱情与友情的碰撞、利己之心与道义之心的冲突,凸现了日本近代知识分子矛盾、怅惘、无助、无奈的...
由顾樵编著的《数学物理方法(精)》根据作者顾樵20多年来在德国和中国开设数学物理方法讲座内容及相关的研究成果提炼而成。其主要内容包括傅里叶级数、傅里叶变换、拉普...
我的母语课2A级 本书特色 ● 中国孩子**的一套母语教材。● 儿童母语教育**品牌亲近母语研究院编选的一套权威文学教材● 以“倡导儿童阅读,促进母语...
社会研究方法教程 内容简介 本书对社会研究的方法和理论作了系统全面的介绍。全书围绕社会研究的原理、逻辑策略和科学程序,从方法论、研究方式和具体研究方法及技术三个...
绿野仙踪-名著小书坊注音版-全新升级-中外名著美绘馆 本书特色 为了使小朋友能够从浩瀚的书籍海洋中*迅速、*有效地获取那些凝聚了人类精神文明的伟大成果,获得心灵...
英中文双语读本--罗素论幸福 本书特色 论不幸,也就是论幸福。罗素告诉我们避免不幸之法,也就是引我们走上幸福之路。忧郁、竞争、烦闷、疲劳、嫉妒、畏惧等等,好像是...
《实变函数与泛函分析》(定理方法问题)是与胡适耕教授编《实变函数》与《泛函分析》相配套的学习辅导书。《实变函数与泛函分析》