
| |
|
|
| 第一章 命题逻辑 引言 1-1 命题 1-2 命题演算 1-3 命题范式和判定问题 1-4 命题演算的推理理论 第二章 谓词逻辑 引言 2-1 谓词演算 2-2 谓词演算的永真式 2-3 谓词演算的推理理论 第三章 集 合 引言 3-1 集合的基本概念 3-2 集合代数 3-3 笛卡儿乘积 第四章 二元关系 引言 4-1 关系 4-2 等价关系 4-3 关系的合成 第五章 函 数 引言 5-1 函数的基本性质 5-2 几种重要函数 5-3 反函数 5-4 置换 5-5 二元运算 第六章 代数系统 引言 6-1 代数结构 6-2 代数系统的实例 6-3 同态和同构 6-4 同余关系 6-5 商代数 6-6 积代数 第七章 图 论 引言 7-1 图论的基本概念 7-2 图的矩阵表示 7-3 欧拉图与哈密顿图 7-4 特殊图 |
商品评论(0条)