《数理逻辑(第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 符号列表
索引
无初中数学计算题高效训练(9年级+中考)/周计划 本书特色 1. 配套人教版教材,科学安排每周、每天的学习进度; 2. 选题新颖、循序渐进,中考热点题型提前演练...
常备小学生数学知识辞典 内容简介 全新的小学生数学知识辞典是在理论指导下,结合实施中数学教学实践编写而成。本书与国家教材配套,以人教版教材为蓝本,同时兼顾其他版...
CONTEMPORARY TIBETAN PAINTINGS 本书特色 ★ 12开英文版,精装本★ 本书精选了11位藏族和1位纳西族优秀画家的作品★ 包括新藏画...
黑骏马 本书特色 摆在亲爱的读者面前的这部书,可有些年份了,它是十九世纪七十年代英国女作家A.休厄尔(1820—1878)的作品。这位才华横溢的女作家只活了五十...
公共标识英语纠错指南实例、辨析和解决方案 本书特色 鉴别实景图片,慧眼识别错误,纠正中式英语,品读中西文化。公共标识英语纠错指南实例、辨析和解决方案 内容简介 ...
恐龙当家-The Good Dinosaur-迪士尼英文原版 本书特色 what if the asteroid that forever changed li...
莎士比亚喜剧集-(青少版) 本书特色 文学是比鸟飞得还远的梦想、比花开得还美的情感、比星闪得还亮的智慧,是我们到了一百岁还忘不掉的信念。文学名著永远是全世界人民...
Selections from Records of the Historian 本书特色 This book follows the original str...
中小学生楷书九段训练法-(第4段) 内容简介 《楷书九段训练法》是以繁简对照的形式编排的,这有利于学生掌握和学习现行的简化汉字,了解和认识繁体字。每册都安排有楷...
《康熙四十年欧洲那些事儿》内容简介:法国国王路易十四擅长跳芭蕾,兴建凡尔赛。法国服装美食、文学艺术等软实力征服世界直到今天
冰心专集繁星 春水 本书特色 《繁星·春水》是冰心在印度诗人泰戈尔《飞鸟集》影响下写的著名小诗集。这些诗兼采中国古典诗词和泰戈尔哲理小诗之长,善于捕捉刹那间...
三十六计-小学生国学文库彩图本- 本书特色 《小学生国学文库:三十六计(彩图本)()》原书包括原文、按语和案例三个部分。考虑到按语中的古文不方便读者们的理解,所...
代数王国奇闻录-少年代数学家 本书特色 李毓佩编著的《代数王国奇闻录--少年代数学家》描写了一群热爱科学、立志成为科学家的少年学生像科学家那样勇于探索、乐于实践...
佳禾--如影随形:韩国语亲情影视人生(附光盘) 内容简介 本书视角独特,以家庭亲情为主线,对于每个阶段所发生的一个个小故事,编者精心选择了与之相匹配的近4...
雅思分级词汇21天进阶 内容简介IELTS(雅思)考试是由英国文化委员会(The British Council)、剑桥大学地方考试委员会(The Univer...
英语诵读菁华 本书特色 这本美丽而亲切的小书,好似一条涓涓细流,淌过名著之林,缓缓流入你的心田……愿她如春雨般润泽,为你滤去学习的枯燥;似轻舟般灵动,助你游弋于...
《智能数据时代》内容简介:大数据这个概念自诞生以来,已经经历了几次飞跃。时至今日,大数据这个名词频繁地与人工智能、DT、预测
2013-临床医学检验技术(中级)模拟试卷及解析-全国初中级卫生专业技术资格统一考试(含部队)指导辅导用书 本书特色 全国护士执业资格考试(含部队)指定辅导用书...
21世纪大学本科计算机专业系列教材算法设计与分析第2版 本书特色 本书为计算机类专业核心课程“算法设计与分析”教材. 全书以算法设计技术和分析方法为主线来组织各...
基于时空关联规则推理的LBS隐私保护研究 本书特色 本书讨论的概念既包括应用相关的一般概念,有涉及技术层面的内容。使用自顶向下的方法进行描述:从高级应用抽象到底...