离散数学_吉林大学-主讲:欧阳丹彤 114讲百度网盘分享,文件大小共计8.35G相关音视频资料文档。
详细目录:
00_shipin_114
00_shipin.bat
001_集合论简史.mp4
002_集合的基本概念.mp4
003_集合的各种运算.mp4
004_集合的算律.mp4
005_集合的幂与笛卡儿积.mp4
006_集合包含关系的证明.mp4
007_关系的定义_表示与运算.mp4
008_特殊关系的基本定义.mp4
009_关系的幂.mp4
010_自反闭包和对称闭包.mp4
011_关系的传递闭包.mp4
012_等价关系定义与等价类.mp4
013_划分与商集.mp4
014_第二类stirling数.mp4
015_部分序关系.mp4
016_映射.mp4
017_基数的定义与bernstein定理.mp4
018_可数集合.mp4
019_实数与实数区间构成的不可数集合.mp4
020_其它不可数集合.mp4
021_基本计数原理与排列组合.mp4
022_二项式定理.mp4
023_容斥原理.mp4
024_鸽巢原理.mp4
025_命题定义与联结词.mp4
026_命题公式与解释.mp4
027_等价关系及其证明.mp4
028_完备集.mp4
029_蕴涵关系基本概念.mp4
030_演绎的基本理论.mp4
031_蕴涵的证明和形式演绎法.mp4
032_文字_子句_短语与范式.mp4
033_主析取范式及其应用.mp4
034_主合取范式及其应用.mp4
035_谓词逻辑的基本概念.mp4
036_谓词公式.mp4
037_谓词公式的等价关系与蕴涵关系.mp4
038_前束范式.mp4
039_skolem范式.mp4
040_图.mp4
041_图的(计算机)表示.mp4
042_路.mp4
043_权图dijkstra算法.mp4
044_dijkstra算法的正确性.mp4
045_树及其等价命题.mp4
046_最优树kruskal算法.mp4
047_有向图与有向树.mp4
048_转化定理.mp4
049_euler路euler图的基本概念.mp4
050_判定euler图的充要条件.mp4
051_euler路与有向树的相互转化.mp4
052_hamilton路hamilton图的必要条件.mp4
053_hamilton图的充分条件(上).mp4
054_hamilton图的充分条件(下).mp4
055_整除性辗转相除.mp4
056_互质质因数分解.mp4
057_合同及其性质.mp4
058_剩余类一次同余式.mp4
059_秦九韶定理.mp4
060_同余式化简欧拉函数.mp4
061_代数系统的基本概念.mp4
062_代数系统的运算律.mp4
063_半群.mp4
064_群的基本概念.mp4
065_群的性质(一).mp4
066_群的性质(二).mp4
067_置换与置换群.mp4
068_置换的轮换表示.mp4
069_子群的定义.mp4
070_子群的判别条件.mp4
071_循环群的基本概念.mp4
072_元素周期与循环群的性质.mp4
073_陪集的定义与性质.mp4
074_正规子群_拉格朗日定理.mp4
075_同态映射.mp4
076_同构映射.mp4
077_同态映射的核.mp4
078_同态核与商群.mp4
079_同态映射下的子群对应关系.mp4
080_环的定义.mp4
081_环的性质(一).mp4
082_环的性质(二).mp4
083_环的其它性质及特殊环.mp4
084_环的理想.mp4
085_环中合同关系.mp4
086_环同态与同构(一).mp4
087_环同态与同构(二).mp4
088_单纯环与极大理想.mp4
089_域的特征(一).mp4
090_域的特征(二).mp4
091_素域.mp4
092_多项式的定义及性质.mp4
093_多项式的整除质式.mp4
094_多项式的根与重根.mp4
095_复数域和实数域上多项式的质式问题.mp4
096_本原多项式及其性质.mp4
097_判断多项式在有理域上是否可约的问题.mp4
098_复数域上的分圆多项式.mp4
099_任意域上的分圆多项式.mp4
100_有限域基本概念.mp4
101_有限域中的元素表示.mp4
102_有限域的存在性.mp4
103_有限域的子域.mp4
104_有限域构造的例子.mp4
105_格的定义.mp4
106_格的性质.mp4
107_格同态与同构的定义.mp4
108_格同态与同构的性质.mp4
109_有界格_有余格.mp4
110_分配格.mp4
111_模格.mp4
112_布尔代数的定义及其性质.mp4
113_有限布尔代数的表示理论.mp4
114_布尔代数的同态与同构.mp4