哈尔滨理工大学本科生课程《离散数学》完整课件,包括逻辑学、集合论、图论、代数论四个部分。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