内容章节包括： 第一篇：数理逻辑 命题逻辑、谓词逻辑 第二篇：集合论 集合与关系、寒暑 第三篇：代数系统 代数结构 第四篇：图论 图论

系统.ppt06、几个典型的代数系统.ppt离散数学综合练习.doc离散数学复习（48学时）.ppt

北京大学《离散数学》完整课件，内容包括完整课件、教学大纲和作业题三大部分（一）：第一章集合第二章二元

离散数学最新两套考试试卷及答案。

学信息学院计算机系《离散数学》ppt、word电子教案，《离散数学》是研究离散对象的结构以及它们之

• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

离散数学是计算机出现以后迅速发展起 来的一门数学分支。计算机科学就是算 法的科学，而计算机所处理的对象是离 散的数据，所以离散对象的处理就成了 计算机科学的核心，而研究离散对象的 科学恰恰就是离散数学

绪论 一、离散数学的主要内容 二、离散数学的学习方法

树是一类结构较为简单的图，是用途极 为广泛的离散数学模型，特别是二叉树， 它在计算机科学中用得最多.因此在学习 时应很好地掌握好诸如树的充要条件、 生成树、最优生成树、根树、树的各种 算法、及二叉树的访问次序等内容.平面 图是实际背景很强的一类图，能用本章 介绍的方法判断一个图是否为平面图

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理