《数理逻辑(第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 符号列表
索引
民国中学生作文 本书特色 本书是由1936年上海勤奋书局为高中和初中三年级学生编辑出版的《全国现代高中作文精华》选辑而成的民国中学生作文汇集。原书系初版,共4册...
培生英语阅读-(8)(共6本) 内容简介 简介《培生英语阅读》全套共60本,覆盖了实用科技、科学幻想、边缘科学、自然知识、日常故事等备方面的内容,题材广泛,能够...
中国古代文学史(第二版)中册 本书特色 《中国古代文学史(第2版 中)/马克思主义理论研究和建设工程重点教材》运用马克思主义历史唯物主义的观点对中国文学史进行梳...
GRE&GMAT阅读难句教程 本书特色 《GRE & GMAT阅读难句教程》:3大使用原则;技巧点拨,迅速读懂;利用语法,不靠语法;学练结合,以练为主;4大训练...
《司乘人员健康锦囊》内容简介:司乘人员常年工作于人多、繁杂、动荡的环境,精神长时间高度紧张,无法保证新鲜的饮食和规律的睡眠
应急口语通:泰语 内容简介 《应急口语通》在手,走遍世界沟通无忧!随着改革开放的深入发展,国际间的交流与合作日益频繁、广泛。因旅游、访问、留学、公务、探亲等目的...
伊索寓言·悦读悦好(彩图美绘本) 本书特色 伊索被誉为“希腊寓言之父”,“西方寓言的开山鼻祖”。伊索寓言是世界上*古老、影响*大的寓言,由于形象生动、寓意深刻、...
爱因斯坦传 本书特色 爱因斯坦是举世闻名的德裔美国科学家,现代物理学的开创者和奠基人。他的一生都在寻找宇宙的简单法则。他运用大脑、铅笔和纸,发现和论证了震...
趣味心理-09 本书特色 “兴趣是*好的老师。”运用到心理学习中来,兴趣便是帮助读者朋友们探究心理世界的“指南针”。《趣味心理》便是这样一本满足中小学读者朋友们...
书文化九讲 内容简介 该书以丰富的内容、系统的编排、浅近的语言,分九个部分讲述我国书籍的悠久历史和深厚文化,是适合初学入门者的一本基础读物。书文化九讲 目录 封...
汉保保汉翻译教程 内容简介 本教程供我国保加利亚语专业高年级学生和自学者使用,亦可供学习汉语专业的保加利亚学生参考。 本书包括下列内容: 一、翻译理论和技巧——...
英文单词不用背 本书特色 赠130分钟北京外国语大学美籍专家朗读光盘。百万上班族和学生*推崇的单词书!连续两年隐霸韩国*大的网上书店yes24语言类畅销榜top...
《新能源汽车使用与维护》内容简介:本书基于现阶段国内主流新能源汽车,尤其是纯电动汽车的使用与维护技术要求,结合电工作业规范
全英文教学研究与实践 本书特色 徐瑾主编的这本《全英文教学研究与实践》将北京理工大学30多名教师对全英文/双语教学的研究和实践总结编辑成册,以分享他们的思想成果...
精彩摘录旧译“费曼”、“费因曼”。全国自然科学名词审定委员会公布的《物理学名词》(1996)中已定译为“费恩曼”。——译者—
初中生作文精批精改 内容简介 对学生在写作文时*容易犯的诸如表达、叙述、描写等各类常见的错误,本书有针对性地列举了学生典型的病文。张伯华老师对这些病文出现的原因...
中国现代文学作品选(2013年版)(00530) 本书特色 本教材是全国高等教育自学考试汉语言文学专业(本科)必修基础课程指定教材,按照该课程2012年修订的自...
亲近母语经典阅读:小学三年级 本书特色 《经典阅读:小学3年级》中,著名儿童文学家梅子涵教授这样说:让儿童阅读属于自己的经典,为儿童引读适合他们的名著。经典阅读...
4年级-全国百所重点小学阅读试题精选 本书特色 1.这套书选取了全国百所重点小学各个年级的阅读训练题,有代表性和针对性。2.这套书的阅读训练类型多种多样,有记事...
日语睿读:中日对照:文学篇 本书特色 《日语睿读:文学篇(中日对照)》以趣味阅读为编写宗旨,精选日本近现代文学作品长、短篇佳作共25篇,每篇文章由作品正文、语句...