本书强调严格性和基础性，书中的材料从源头—数系的结构及集合论开始，然后引向分析的基础（极限、级数、连续、微分、Riemann积分等），再进入幂级数、多元微分学以及Fourier分析，最后到达Lebesgue积分，这些材料几乎完全是以具体的实直线和欧几里得空间为背景的.书中还包括关于数理逻辑和十进制系统的两个附录。课程的材料与习题紧密结合，目的是使学生能动地学习课程的材料，并且进行严格的思考和严密的书面表达的实践本书适合已学过微积分的高年级本科生和研究生学习

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

中国科学技术大学：《数理逻辑》课程教学资源（电子教案，PPT课件讲稿）

10．1 二元关系 10．2 关系矩阵和关系图 10．3 关系的逆、合成、限制和象 10．4 关系的性质 10．5 关系的闭包 10．6 等价关系和划分 10．7 相容关系和覆盖 10．8 偏序关系

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

原子命题是数理逻辑研究的基本单位.分析了原子命题的相关性与逻辑运算之间的关系.在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同.定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点

第1节 紧致性定理及其应用 第2节 可判定的理论 第3节 只含后继的自然数模型 第4节 包含后继和序的自然数模型 第5节 普莱斯伯格算术模型

第1节 可靠性定理 第2节 完全性定理 第3节 自然推演系统的可靠性和完全性 第4节 紧致性定理及其应用

复旦大学：《数理逻辑》课程教学资源（讲义）第3章 一阶逻辑的语言、第4章 形式证明