《离散数学(本科)》由中央广播电视大学出版社出版。 |
第1篇 集合论 1 集合及其运算+ 1.1 集合的概念与表示 1.2 集合运算 本章小结 复习思考题 习题1(a) 习题1(b) 学习指导 2 关系与函数 2.1 关系的概念 2.2 关系的运算 2.3 二元关系的性质 2.4 等价关系 2.5 序关系 2.6 函数的概念及性质 本章小结 复习思考题 习题2(a) .习题2(b) 学习指导 第2篇 图论 3 图的基本概念与性质 3.1 图的概念与性质 3.2 图的连通性 3.3 图的矩阵表示与计算 3.4 最短路径 本章小结 复习思考题 习题3(a) 习题3(b) 学习指导 4 几种特殊图 4.1 欧拉图 4.2 汉密尔顿图 4.3 平面图 4.4 对偶图与着色 本章小结 复习思考题 习题4(a) 习题4(b) 学习指导 5 树及其应用 5.1 树的定义及性质 5.2 根树及其应用 本章小结 复习思考题 习题5(a) 习题5(b) 学习指导 第3篇 数理逻辑 6 命题逻辑 6.1 命题的概念与表示 6.2 命题联结词 6.3 命题公式的翻译与解释 6.4 真值表与等价公式 6.5 重言式与蕴含式 6.6 范式 6.7 命题逻辑的推理理论 本章小结 复习思考题 习题6(a) 习题6(b) 学习指导 7 谓词逻辑 7.1 谓词的概念及表示 7.2 命题函数与量词 7.3 谓词公式的翻译与解释 7.4 变元的约束 7.5 谓词演算的等价式与蕴含式 7.6 前束范式 7.7 谓词演算的推理理论 本章小结 复习思考题 习题7(a) 习题7(b) 学习指导 参考文献 |
内容加载中，请稍后...
商品评论（0条）