| |
|
|
| 第一章 命题逻辑 1 命题符号化及联结词 2 命题公式及分类 3 等值演算 4 联结词全功能集 5 对偶与范式 6 推理理论 7 题例分析 习题 第二章 一阶逻辑 1 一阶逻辑基本概念 2 一阶逻辑合式公式及解释 3 一阶逻辑等值式 4 一阶逻辑推理理论 5 题例分析 习题 第三章 集合的基本概念和运算 1 集合的基本概念 2 集合的基本运算 3 集合中元素的计数 4 题例分析 习题 第四章 二元关系和函数 1 集合的笛卡儿积与二元关系 2 关系的运算 3 关系的性质 4 关系的闭包 5 等价关系与偏序关系 6 函数的定义和性质 7 函数的定义和性质 8 题例分析 习题 第五章 代数系统的一般性质 1 二元运算及其性质 2 代数系统及其子代数和各代数 3 代数系统的同态与同构 4 题例分析 习题 第六章 几个典型的代数系统 1 半群与群 2 环与域 3 格与布尔代数 4 题例分析 习题 第七章 图的基本概念 1 无向图及有向图 2 通路、回路、图的连通性 3 图的矩径及关键路径 4 最短路径及关键路径 5 题例分析 习题 第八章 一些特殊的图 …… 第九章 树 第十章 组合分析初步 第十一章 形式语言和自动机初步 |
内容加载中，请稍后...
商品评论（0条）