《数理逻辑(第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 符号列表
索引
俄汉国际经贸词典 本书特色 《俄汉国际经贸词典》是我馆《汉俄国际经贸词典》的姊妹篇,两部词典均为同一作者精心编著,这为词典的质量和风格提供了较高的统一保证。它们...
六级词汇词根+联想记忆法( 本书特色 科学统计,词频排序,助你走出记忆怪圈;全面瘦身,小巧轻便,随时随地背诵单词;标记重点,直击考点,复习记忆有的放矢;新鲜元素...
·新阅读:海底两万里 本书特色 法国人皮埃尔·阿龙纳,是一位科学家,他在美国参加一项科学考察活动之后,接到美国海军部的邀请。于是他改变行程,登上了...
新闻出版质量工作手册 内容简介 我国是历史悠久的文明古国,五千年的岁月镌刻了无数兴衰成败。在历史的长河中,我国经历了从文字的产生到如今成熟、规范、统一的文字体系...
本书由新闻界教父级人物、21次艾美奖得主迈克•华莱士,福特汉姆大学新闻学教授贝丝•诺伯尔倾力合作写成。通过华莱士及其他CBS著名
数理逻辑与集合论 本书特色 房元霞、赵汝木、盛秀艳编著的《数理逻辑与集合论》共8章。第1~5章是数理逻辑部分:第1~3章是数理逻辑,第4章是简单模态逻辑,第5章...
老师没讲过的语文课 本书特色 百家讲坛讲师吴桐祯数十年语文研究结晶全书涉及1000多个传统文化考点、易混词考点、词语辨析考点每一个老师和学生都应该拥有的语文学习...
我的梦·中国梦青少年教育读本(小学高年级) 本书特色 《我的梦中国梦青少年教育读本:小学高年级》旨在对广大学生进行爱国主义、集体主义、社会主义教育,不断增强中国...
国际贸易理论与实务 本书特色 本教材是全国高等教育自学考试经济管理类专业的专业课教材,按照2012年新修订的国际贸易理论与实务自学考试大纲编写。教材全面、系统的...
图解俄语-语音 词汇 短句 闪速入门 本书特色 《图解俄语:语音词汇短句闪速入门》配以精心绘制形象可爱的插图,用图解的方式教你快速掌握俄语发音,学习常用俄语...
《袒露在金陵》内容简介:本书为作者王彬多年以来最为心仪的散文作品之合集,多为咏古怀今之作。作者的脚步追随远近中国史上的文化
英美报刊英语精读-(一)(第2版) 本书特色 本书旨在帮助读者循序渐进地快速提高英语阅读能力。通过本书的学习,读者在做各种考试的阅读理解时,可熟练运用阅读技巧,...
软件工程导论(第六版) 本书特色 本书的前5个版本累计销售达130万册,已成为软件工程领域的经典教材,先后荣获全国普通高等学校工科电子类专业优秀教材二等奖...
洋话连篇-争论英语 内容简介 现在就翻开本书吧!本书从生活中的真实场景中提取*常用、*地道的争执短语,并配以详尽的中文解释,让你用得放心,争得带劲。 为了让你更...
日本生活面面观 内容简介 本书精选了50篇短文,折射日本文化的方方面面。全书包括地方篇、风俗篇、人文篇事情篇四章。日本生活面面观 目录 **章地方篇东京的四季世...
此中有真译-教科书中鲜有提及的译论译事 内容简介 本书精选传统翻译教材中鲜有提及的译论译事,辅以精辟解读,意在扩大翻译(外语)学习者的知识面,提升其对翻译活动的...
《中国历代画家佳作品鉴:诸闻韵》内容简介:《诸闻韵》选择较有名的小品和具有代表性的作品为主,适于有基础的爱好者临摹、研习和
本书以一个数学家的睿智,探讨了自古希腊以来,尤其是自伽利略以来数学在现代自然科学发展演化中的作用。首章利用现代心理学生理学的错觉实验说明了感官知觉之不可靠。其...
2015-命题人新万能作文-考研英语写作第一书 本书特色 《命题人新万能作文(适用于考研英语1 2015)》由考研英语命题研究中心的名师主编;针对考研英语(一)...
彩绘版声律启蒙 本书特色 《声律启蒙》是一部关于诗韵的启蒙著作,是儿童学诗的入门读物。全书由两两相对的三字句、四字句、五字句、六字句、七字句等组成,不仅对仗工整...