《数理逻辑(第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 符号列表
索引
初中阅读教学工具王 内容简介 这是一本专供初中语文教师阅读教学使用的教学参考书。 按照的要求,全面审视我国初中阅读教.学与训练的实际,全面整合各地初...
《亚运之花》内容简介:本书为何水法先生运用大写意所绘亚洲地区数十种花卉的合集。每种花卉或为一国之国花,或为一个地区的代表性
朗文当代高级英语辞典-英英.英汉双解-第4版(大字版)-全文光盘 本书特色 ★ 收词全面:收录词条、短语106000余条,连同释义达207000条★ 详解语法:...
工程力学(第3版)/韩向东 本书特色 本书主要讲授物体静力平衡规律及杆件变形的一般规律,介绍了物体的静力分析及杆件的强度、刚度和稳定性问题等。全书共12章,包括...
托马斯和朋友大电影双语故事城堡大冒险/托马斯和朋友大电影双语故事 本书特色 《城堡大冒险(托马斯和朋友大电影双语故事)》:喜欢探险和寻宝的伯爵决定重建他的城堡。...
欧也妮.葛朗台-(增订版) 本书特色 本书是《人间喜剧》中法国生活场景的组成部分,是巴尔扎克的代表作之一。小说通过描写葛朗台的家庭生活,塑造了一个狡诈、贪婪、吝...
超奇迹 分类记18000英语单词-英语口语词汇学习.一站式搞定-双速录音白金版-(1书+1MP3光盘) 本书特色 《超奇迹 分类记 18000英语单词》这本书包...
加拿大学生文学读本-(全五册) 本书特色 ★ 32开平装,天津人民出版社出版★ 加拿大教育部编写,纯英文,体例统一严谨,在词汇量和阅读量上逐步提高,★ 选文包括...
工程力学的应用.演示和实验 内容简介 《工程力学的应用、演示和实验》为适应新世纪“加强实践教学、培养创新人才”的教学改革要求而编写,把身边的、工程中的和科研成果...
尤利西斯.S.格兰特(中英文对照) 内容简介 如今大多数历史学家对尤利西斯·S·格兰特的评价是:一位政绩平平的总统。与此形成鲜明对照的是,十九世纪六七十年代的美...
英文全本典藏—动物农场 内容简介 《动物农场》是乔治·奥威尔*优秀的作品之一,是一则入骨三分的反乌托邦的政治讽喻寓言。农场的一群动物成功地进行了一场“革命”,将...
旅游英语-365天英语口语大全-白金版-(赠MP3光盘一张) 本书特色 销量领先的英语口语学习书《365天英语口语大全》丛书又添新册——《365天英语口语大全:...
Thisbookprovidesaworkingknowledgeofthosepartsofexteriordifferentialforms,differe...
英汉多功能词典 内容简介 为帮助广大大、中学生学好英语,我们根据以汉语为母语者学习英语的特点,从大、中学生学习英语的实际状况出发,依据教育部颁发的普通高中《英语...
劝导(4级.适合高一.高二年级)(书虫.牛津英汉双语读物) 本书特色 “书虫”系列是外研社和牛津大学出版社联合为中国英语学习者奉献的一大精品,丛书为世界优秀文学...
小王子-注音美绘本 本书特色 这套《注音美绘本小学语文必读丛书》依据教育部“”文件指定的必读书目整理编选而成。全书图文并茂,文字浅显易懂,非常适合小学低年级小朋...
素材 技法 提炼-中考作文抢分起跑线 内容简介 《中考作文抢分起跑线·素材技法提炼》是《作文报》编辑团队力创“抢分作文”品牌图书系列之一。该书集“估题式模拟读练...
GRE阅读必备专业词汇 本书特色 本系列其他图书还有:GRE词汇精选(附MP3光盘)——新东方大愚英语学习丛书http://productp.dangdang....
原创经典作品 幸运的三叶草 本书特色 《幸运的三叶草》内容简介:善读精品美文,拾取久违的感动;体悟百昧人生,感受成长的快乐。阅读其间,时而在惊险悬疑的案件中悚然...
《东方文化与设计哲学》内容简介:随着社会科技的不断进步,当代设计也呈现出飞速发展的状态,从中国制造到中国创造的转变已将设计