离散数学，电子科技大学，主讲：傅彦 61讲，网盘下载(7.94G)

00_shipin_61

00_shipin

01_第01讲集合

02_第02讲集合的运算与分类

03_第03讲计数问题_排列组合

04_第04讲计数问题_容斥原理与鸽笼原理

05_第05讲命题逻辑_命题与命题联结词

06_第06讲命题逻辑_命题翻译与联结词

07_第07讲命题逻辑_命题公式_解释与真值表

08_第08讲命题逻辑_基本等价公式及其应用

09_第09讲命题逻辑_命题公式的应用与联结词的完备集

10_第10讲命题逻辑_范式

11_第11讲命题逻辑_极小项与极大项

12_第12讲命题逻辑_主范式

13_第13讲谓词逻辑_谓词与量词

14_第14讲谓词逻辑_谓词翻译

15_第15讲谓词逻辑_谓词合式公式

16_第16讲谓词逻辑_谓词合式公式的解释与基本等价关系

17_第17讲推理与证明技术_逻辑蕴涵

18_第18讲推理与证明技术_演绎法

19_第19讲推理与证明技术_谓词逻辑的推理

20_第20讲推理与证明技术_谓词演算的综合推理方法

21_第21讲二元关系_关系的定义

22_第22讲二元关系_关系的表示法

23_第23讲二元关系_关系的复合运算

24_第24讲二元关系_关系的逆运算

25_第25讲二元关系_关系的性质1

26_第26讲二元关系_关系的性质2

27_第27讲特殊关系_等价关系1

28_第28讲特殊关系_等价关系2

29_第29讲特殊关系_偏序关系1

30_第30讲特殊关系_偏序关系2

31_第31讲函数_函数的定义与分类

32_第32讲函数_函数的性质与运算

33_第33讲图_图及图的表示与操作

34_第34讲图_图分类及子图与补图

35_第35讲图_握手定理与同构

36_第36讲图_通路与回路

37_第37讲图_连通图

38_第38讲图_有向连通图

39_第39讲树_无向树

40_第40讲树_最小生成树与根树

41_第41讲特殊图_欧拉图

42_第42讲特殊图_哈密顿图

43_第43讲特殊图_偶图

44_第44讲特殊图_平面图11

45_第44讲特殊图_平面图

46_第45讲代数系统_代数系统与运算律

47_第46讲代数系统_特殊元

48_第47讲代数系统_同态与同构

49_第48讲群_半群与含幺半群

50_第49讲群_群与元素的周期

51_第50讲群_子群

52_第51讲群_子群与群同态

53_第52讲群_特殊群

54_第53讲群_陪集与拉格朗日定理

55_第54讲群_拉格朗日定理与正规子群

56_第55讲格与布尔代数_格的基本概念

57_第56讲格与布尔代数_格与子格

58_第57讲格与布尔代数_格同态与分配格

59_第58讲格与布尔代数_特殊格

60_第59讲格与布尔代数_有补分配格

61_第60讲格与布尔代数_布尔代数