| 《离散数学》为高等教育出版社出版。 |
第一章 集合与关系 1.1 集合的概念与运算 1.1.1 集合的概念 1.1.2 集合间的关系 1.1.3 集合的运算 习题1.1 1.2 关系及其表示 1.2.1 集合的笛卡儿积与二元关系 1.2.2 关系矩阵与关系图 习题1.2 1.3 关系的运算 1.3.1 关系的逆 1.3.2 关系的合成 习题1.3 1.4 关系的性质 1.4.1 关系的性质 1.4.2 关系性质的判定 1.4.3 关系的保守性 习题1.4 1.5 关系的闭包 1.5.1 闭包的定义 1.5.2 闭包的性质 习题1.5 1.6 等价关系 1.6.1 等价关系≮ 1.6.2 等价关系与划分的联系 习题1.6 1.7 序关系 1.7.1 序关系的概念 1.7.2 全序与良序 习题1.7 1.8 函数 1.8.1 函数的概念 1.8.2 复合函数 1.8.3 反函数 1.8.4 集合的基数及基数的比较 习题1.8 第二章 命题逻辑 2.1 命题及其表示 2.1.1 命题 2.1.2 联结词 习题2.1 2.2 命题公式 2.2.1 命题公式及其真值表 2.2.2 命题公式的类型与判定 习题2.2 2.3 命题公式间的关系 2.3.1 命题公式的等价、 2.3.2 命题公式的蕴含 2.3.3 置换定理与对偶定理 习题2.3 2.4 主范式与判定问题 2.4.1 极大项和极小项 2.4.2 主范式 2.4.3 判定问题 习题2.4 2.5 命题逻辑的推理理论 25.1 推理规则 2.5.2 形式证明 习题2.5 第三章 谓词逻辑 3.1 谓词、个体词和量词 3.1.1 谓词与个体词 3.1.2 量词 习题3.1 3.2 谓词公式 3.2 1谓词公式 3.2.2 谓词公式的类型 习题3.2 3.3 谓词逻辑的等价式与蕴含式 3.3.1 谓词公式的等价与蕴含的定义 3.3.2 等价式与蕴含式 3.3.3 前束范式 习题3.3 3.4 谓词逻辑的推理理论 习题3.4 第四章 图论 4.1 图的基本概念 4.1.1 图 4.1.2 图的同构 习题4.1 4.2 子图和图的运算 4.2.1 子图 4.2.2 |
内容加载中，请稍后...
商品评论（0条）