课件内容：
第一讲 命题逻辑(一)
1.1 命题与联结词
1.2 命题公式及其分类
1.3 命题演算的关系式
测验-命题逻辑（一）
作业-命题逻辑（一）
第二讲 命题逻辑(二）
1.4 范式
1.5 命题演算的推理
测验-命题逻辑（二）
作业-命题逻辑（二）
第三讲 谓词逻辑(一)
2.1 谓词逻辑的基本概念
2.2 谓词演算公式
2.3 谓词公式的解释和分类
作业-谓词逻辑（一）
测验-谓词逻辑（一）
第四讲 谓词逻辑(二)
2.4 谓词演算的关系式
2.5 前束范式
2.6 谓词演算的推理
作业-谓词逻辑（二）
测验-谓词逻辑（二）
第五讲 集合
3.1 集合的基本概念和表示法
3.2 集合的关系
3.3 集合的运算
3.4 后继数和自然数
测验-集合
作业-集合
第六讲 关系和函数(一)
4.1 关系的概念与笛卡尔积
4.2 关系的表示法
4.3 关系的运算
4.4 关系的性质
4.5 关系闭包
测验-关系和函数(一)
作业-关系和函数(一)
第七讲 关系和函数(二)
4.6 等价关系
4.7 偏序关系
4.8 函数
测验-关系和函数(二)
作业-关系和函数(二)
第八讲 图论
5.1 图论的起源和发展
5.2 图的基本概念
5.3 通路、回路、连通的概念
5.4 图的表示
测验-图论的基本概念
作业-图论
第九讲 特殊图 (一)
6.1 欧拉图
6.2 哈密顿图
6.3 最短路径问题
测验-特殊图(一）
第十讲 特殊图 (二)
6.4 中国邮路问题
6.5 匹配和二分图
6.6 平面图
作业-特殊图(二）
测验-特殊图(二)
第十一讲 树
7.1 树的定义和生成树
7.2 根树
7.3 根树的应用
作业-树
测验-树
《离散数学》PPT课件 华南理工大学 陈琼
资源下载
资源下载
