《数理逻辑(第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 符号列表
索引
基诺族 本书特色 基诺族是一个古老的民族。基诺是民族自称,过去汉语多音译为“攸乐”,意为“跟在舅舅后边”,加以引伸即为“尊崇舅舅的民族”。1979年6月...
德语姓名译名手册 本书特色 本手册汇集了德语姓氏、教名约6万条,适用于翻译操德语的国家、民族(瑞士、卢森堡、匈牙利、罗马尼亚等国操德语的民族)的姓名时使用。本手...
近现代中国舆论研究文献新编 本书特色 《传媒研究读本系列:近现代中国舆论研究文献选编》选录了1840年至1949年期间,公开发表的以舆论为思考和研究对象的文献资...
小学生反义词词典 内容简介 为方便你们学好语文课,我们特聘请全国优秀的教师编写了这套供小学生专用的新世纪双色版小学生工具书系列丛书。它包括《小学生同义词词典》、...
“Daubechies教授是小波分析的创始人之一,本书正是她对小波理论的深入研究成果。书中包含了20世纪80年代以来世界上有关小波分析
朗文高阶英语词典英语版 本书特色 与通用英语词典和其他英语学习词典相比,《朗文高阶》有以下六大特色:一、释义浅显易懂。通用英语词典的释义讲究精确、科学、严谨,这...
《臧克家诗选新编》内容简介:迄今为止唯一一本涵盖世纪诗翁臧克家毕生七十余载新诗创作的最全面的精选结集《臧克家诗选新编》,由
细看哈佛 内容简介 哈佛究竟是什么?哈佛是否可以随便游览?哈佛在巨额经费从哪来?哈费校长又是如何产生的?**个关注哈佛的人都会提出类似的追问。带着同样的疑惑,作...
大学课程决策论 内容简介 教师、学生、课程体系三者构成了现代大学教育质量和特色的三大要素,本文从决策理论的视角,按照决策理论“应该怎样决策(决策的方法论)——谁...
欧.亨利短篇小说集-全译本 本书特色 王晋华编译的《欧·亨利短篇小说集(全译本)(精)/名家译丛》精选了欧·亨利短篇小说代表作:包括被人们所熟知的《麦琪的礼物》...
亲近母语经典阅读:小学四年级 本书特色 让儿童阅读属于自己的经典,为儿童引读适合他们的名著。经典阅读,奠定儿童精神成长的大格局。读经典的书,做有根的人。开启阅读...
工程结构透视-结构的发展和原理纵横谈 本书特色 《工程结构透视--结构的发展和原 理纵横谈》通过纵横两条线索对工程结构,主要是建 筑结构进行剖析和透视。第1-9...
群性群育论 内容简介 本书主要讨论群性和群育。全书分为五部分,共计十一章。**部分,**章导论。强调重提群性群育的必要性和重要性。指出,社会现实中的种种问题,如...
要引导不要教导-一个大学教授25年的教子心得 本书特色 说一千道一万的家庭教育问题只要牢牢记住这几个字很多问题都可以迎刃而解要引导 不要教导本书作者十分诚恳地与...
初中数学--解题思维方法大全 内容简介 我们常常会看到这样一种现象:不少同学整天忙着做作业,什么课后练习、单元测试、升学练兵,手头资料一大堆,习题做了好几本,但...
土地利用规划学 本书特色 《土地利用规划学》:体系科学结构清晰案例丰富体例新颖土地利用规划学 目录 第1章 导论1.1 土地与土地利用1.1.1 土地的概念1....
名人名言精读-必读名著-无障碍阅读-彩插励志版 本书特色 时常听家长说起孩子不愿意读名著。想过为什么吗?编者认为一是没有选到好书,翻译、编译差,字体小,错字多,...
《世界上最成功的教育:犹太教育揭秘》是对世界上最成功的教育——犹太教育的全面揭秘。教育造就了无数精英,熔铸了民族之魂,托起
我在慈禧身边的两年(中英双语版) 内容简介 想知道慈禧太后、光绪皇帝在紫禁城里是怎样生活的吗?想知道他们的饮食起居与常人有什么不同吗?跟随曾在慈禧太后身边呆过两...
功能句法探索-词汇语法分析的新框架 本书特色 《功能句法探索:记法语法分析的新框架》是西方语言学与应用语言学视野。功能句法探索-词汇语法分析的新框架 内容简介 ...