| 第一篇 数论 第一章 数论基础 1.1 整数、整除和最大公约数 1.2 关于素数的某些初等事实 1.3 同余 1.4 同余方程 1.5 次剩余 1.6 数论在密码学中的应用 第二篇 数理逻辑 第二章 命题逻辑 2.1 命题的概念与表示 2.2 逻辑联结词 2.3 命题演算的合式公式 2.4 等价与蕴涵 2.5 功能完备集及其他联结词 2.6 对偶与范式 2.7 命题演算的推理理论 第三章 谓词逻辑 3.1 谓词的概念与表示 3.2 命题函数与量词 3.3 谓词演算的合式公式 3.4 芝元的约束 3.5 谓词公式的解释 3.6 谓词演算的永真式 3.7 谓词演算的推理理论 3.8 自动定理证明 第三篇 集合论 第四章 集合 4.1 集合的概念与表示 4.2 集合的运算 4.3 Venn氏图及容斥原理 4.4 集合的划分 4.5 自然数集与数学归纳法 第五章 二元关系 5.1 Cartesian积 5.2 关系的概念与表示 5.3 关系的性质 5.4 逆关系和复合关系 5.5 关系的闭包 5.6 有序关系 5.7 相容关系与等价关系 5.8 关系数据库初步 第六章 函数 6.1 函数的概念 |
商品评论(0条)