离散数学_电子科技大学-主讲：傅彦 61讲 百度网盘下载

00_shipin_61

00_shipin.bat

01_第01讲集合.mp4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

37_第37讲图_连通图.mp4

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

39_第39讲树_无向树.mp4

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

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

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

43_第43讲特殊图_偶图.mp4

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

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

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

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

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

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

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

51_第50讲群_子群.mp4

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

53_第52讲群_特殊群.mp4

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

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

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

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

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

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

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

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