课件说明：
哈尔滨理工大学本科生课程《离散数学》完整课件，包括逻辑学、集合论、图论、代数论四个部分。120个学时可将内容讲授完，计算机相关专业学生适用。
00、离散数学概述.ppt
01、命题逻辑基本概念.ppt
02、命题逻辑等值演算.ppt
03、命题逻辑的推理理论.ppt
04、一阶逻辑基本概念.ppt
05、一阶逻辑等值演算与推理.ppt
06、集合代数.ppt
07、二元关系.ppt
08、函数.ppt
09、集合的基数.ppt
10、代数系统.ppt
11、半群与群.ppt
12、环与域.ppt
13、格与分配格.ppt
14、格与布尔代数.ppt
15、有补格.ppt
16、布尔表达式.ppt
17、图的基本概念.ppt
18、路与回路.ppt
19、图的矩阵表示.ppt
20、欧拉图与哈密顿图.ppt
21、平面图及图的着色.ppt
22、树.ppt
23、根树及其应用.ppt
24、形式语言与自动机介绍.ppt
25、语言及文法.ppt
