| 第1章 数理逻辑 1. 1 考试要点 1. 1. 1 命题及其符号化 1. 1. 2 命题公式及其分类 1. 1. 3 命题逻辑等值演算 1. 1. 4 范式 1. 1. 5 命题逻辑推理理论 1. 1. 6 谓词与量词 1. 1. 7 谓词公式与解释 1. 1. 8 谓词逻辑等值演算与前束范式 1. 1. 9 谓词逻辑推理理论 1. 2 例题详析 1. 2. 1 选择题 1. 2. 2 填空题 1. 2. 3 论述题 1. 3 习题 1. 3. 1 选择题 1. 3. 2 填空题 1. 3. 3 论述题 1. 3. 4 习题参考答案 第2章 集合论 2. 1 考试要点 2. 1. 1 集合及其表示 2. 1. 2 集合的运算 2. 1. 3 有序对与笛卡儿积 2. 1. 4 关系及其表示法 2. 1. 5 关系的运算 2. 1. 6 关系的性质 2. 1. 7 关系的闭包 2. 1. 8 复合关系与逆关系 2. 1. 9 等价关系与偏序关系 2. 1. 10 函数及其性质 2. 1. 11 反函数与复合函数 2. 2 例题详析 2. 2. 1 选择题 2. 2. 2 填空题 2. 2. 3 论述题 2. 2. 4 解答题 2. 3 题 2. 3. 1 选择题 2. 3. 2 填空题 2. 3. 3 论述题 2. 3. 4 解答题 2. 3. 5 习题参考答案 第3章 代数系统 3. 1 考试要点 3. 1. 1 元运算及其性质 3. 1. 2 代数系统及其子代数和积代数 3. 1. 3 代数系统的同态与同构 3. 1. 4 半群与群 3. 1. 5 环与域 3. 1. 6 格与布尔代数 3. 2 例题详析 3. 2. 1 选择题 3. 2. 2 填空题 3. 3 习题 3. 3. 1 选择题 3. 3. 2 填空题 3. 3. 3 习题参考答案 第4章 图论 4. 1 考试要点 4. 1. 1 无向图及有向图 4. 1. 2 通路. 回路. 图的连通性 4. 1. 3 图的矩阵表示 4. 1. 4 最短路径及关 |
内容加载中，请稍后...
商品评论（0条）