离散数学_北京大学-主讲：王捍贫 134讲 百度网盘(9.04G)

离散数学_北京大学-主讲：王捍贫 134讲 [9.04G]

00_shipin_134 [9.04G]

00_shipin.bat [9.81K]

001_集合论与图论课程引言.mp4 [12.83M]

002_预备知识(命题逻辑).mp4 [63.17M]

003_预备知识(一阶谓词逻辑).mp4 [59.88M]

004_集合的概念和集合之间的关系.mp4 [48.46M]

005_集合的运算.mp4 [43.81M]

006_基本的集合恒等式.mp4 [79.23M]

007_有序对与卡氏积.mp4 [80.74M]

008_二元关系.mp4 [71.53M]

009_关系的表示和关系的性质.mp4 [64.12M]

010_关系幂运算和关系闭包.mp4 [77.83M]

011_等价关系和划分.mp4 [77.84M]

012_序关系.mp4 [78.90M]

013_函数.mp4 [83.33M]

014_集合论习题课(1_3章).mp4 [78.74M]

015_自然数的定义.mp4 [80.24M]

016_自然数的性质.mp4 [71.26M]

017_集合的等势_有穷集与无穷集.mp4 [74.20M]

018_基数和基数的比较与运算.mp4 [101.02M]

019_序数和集合论公理.mp4 [68.60M]

020_图的基本概念.mp4 [82.32M]

021_通路与回路.mp4 [20.70M]

022_无向图与有向图的连通性.mp4 [34.16M]

023_无向图的连通度(上).mp4 [41.85M]

024_无向图的连通度(下).mp4 [23.10M]

025_欧拉图.mp4 [43.86M]

026_哈密顿图.mp4 [74.36M]

027_树.mp4 [72.70M]

028_图的矩阵表示.mp4 [31.26M]

029_平面图的概念.mp4 [15.46M]

030_欧拉公式与平面图的判断.mp4 [34.29M]

031_平面图的对偶图_外平面图.mp4 [22.83M]

032_平面图与哈密顿图.mp4 [24.36M]

033_点着色与色多项式.mp4 [74.61M]

034_平面图着色与边着色.mp4 [54.69M]

035_支配集_点覆盖集_点独立集.mp4 [54.12M]

036_边覆盖与匹配(上).mp4 [35.00M]

037_边覆盖与匹配(下).mp4 [34.29M]

038_二部图中的匹配.mp4 [153.90M]

039_中国邮递员问题和货郎担问题.mp4 [44.57M]

040_课程总结.mp4 [11.09M]

041_引言.mp4 [91.98M]

042_二元运算及其性质(1).mp4 [97.49M]

043_二元运算及其性质(2).mp4 [67.27M]

044_代数系统.mp4 [41.54M]

045_子代数和积代数.mp4 [97.08M]

046_代数系统的同态与同构.mp4 [86.25M]

047_同余关系与商代数.mp4 [80.17M]

048_商代数及小结.mp4 [85.32M]

049_半群与独异点.mp4 [77.07M]

050_直积_商代数与同态.mp4 [69.08M]

051_引言.mp4 [29.26M]

052_群的定义和性质.mp4 [112.43M]

053_群的性质.mp4 [35.36M]

054_子群(1).mp4 [96.75M]

055_子群(2).mp4 [30.99M]

056_循环群.mp4 [53.23M]

057_变换群与置换群.mp4 [100.82M]

058_置换群(2).mp4 [52.73M]

059_群的分解(1).mp4 [52.77M]

060_群的分解及正规子群.mp4 [82.37M]

061_商群与群同态.mp4 [68.73M]

062_环的定义和性质.mp4 [77.45M]

063_子环_理想_商环和环同态.mp4 [66.42M]

064_格的定义和性质.mp4 [69.65M]

065_子格格同态及直积.mp4 [39.82M]

066_特殊的格(1).mp4 [33.64M]

067_有补格_布尔格(2).mp4 [26.48M]

068_布尔代数(3).mp4 [62.27M]

069_组合数学引言.mp4 [86.35M]

070_鸽巢原理与ramsey定理.mp4 [77.01M]

071_组合存在性应用.mp4 [75.99M]

072_两个计数原则_排列组合.mp4 [29.18M]

073_排列与组合.mp4 [88.36M]

074_二项式定理与组合恒等式.mp4 [22.43M]

075_组合恒等式(2).mp4 [90.03M]

076_多项式定理_组合计数应用.mp4 [52.03M]

077_递推方程的公式解法(1).mp4 [71.61M]

078_递推方程的公式解法(2).mp4 [102.74M]

079_递推方程其他解法及应用.mp4 [94.47M]

080_递推方程应用.mp4 [14.24M]

081_生成函数的定义和性质.mp4 [41.33M]

082_生成函数与组合计数(1).mp4 [18.65M]

083_生成函数与组合计数(2).mp4 [80.24M]

084_指数生成函数.mp4 [8.60M]

085_catalan数与stirling数.mp4 [75.40M]

086_包含排斥原理_对称筛公式.mp4 [89.54M]

087_棋盘多项式.mp4 [23.60M]

088_burnside引理与polya定理.mp4 [21.50M]

089_polya定理(2).mp4 [84.46M]

090_课程总结.mp4 [94.71M]

091_引言.mp4 [295.38M]

092_命题与联结词(1).mp4 [80.71M]

093_命题与联结词(2).mp4 [66.58M]

094_命题形式与真值表(1).mp4 [81.96M]

095_命题形式与真值表(2).mp4 [85.91M]

096_联结词的完全集(1).mp4 [83.65M]

097_联结词的完全集(2).mp4 [87.28M]

098_推理形式.mp4 [49.04M]

099_命题演算的自然推理系统n(1).mp4 [69.33M]

100_命题演算的自然推理系统n(2).mp4 [55.95M]

101_命题演算的自然推理系统n(21).mp4 [87.90M]

102_命题演算的自然推理系统n(1v).mp4 [82.56M]

103_命题演算的自然推理系统n(v).mp4 [26.63M]

104_命题演算形式系统p(1).mp4 [42.65M]

105_命题演算形式系统p(2).mp4 [50.98M]

106_命题演算形式系统p(21).mp4 [91.28M]

107_命题演算形式系统p(1v).mp4 [81.88M]

108_命题演算形式系统p(v).mp4 [2.60M]

109_n与p的等价性.mp4 [92.33M]

110_赋值与等值演算(1).mp4 [85.25M]

111_赋值与等值演算(2).mp4 [36.27M]

112_赋值与等值演算(21).mp4 [36.61M]

113_命题范式.mp4 [58.74M]

114_可靠性_和谐性与完备性(1).mp4 [66.08M]

115_可靠性_和谐性与完备性(2).mp4 [136.15M]

116_一阶谓词演算的符号化.mp4 [155.96M]

117_一阶语言(1).mp4 [74.54M]

118_一阶语言(2).mp4 [81.59M]

119_一阶谓词演算的自然推演形式系统nl(1).mp4 [111.59M]

120_一阶谓词演算的自然推演形式系统nl(2).mp4 [63.28M]

121_一阶谓词演算的自然推演形式系统nl(21).mp4 [96.39M]

122_一阶谓词演算的自然推演形式系统nl(1v).mp4 [69.28M]

123_一阶谓词演算的自然推演形式系统nl(v).mp4 [95.35M]

124_一阶谓词演算的自然推演形式系统nl(v1).mp4 [85.86M]

125_一阶谓词演算的形式系统kl(1).mp4 [82.87M]

126_一阶谓词演算的形式系统kl(2).mp4 [77.99M]

127_nl与kl的等价性.mp4 [106.32M]

128_kl的解释与赋值(1).mp4 [98.81M]

129_kl的解释与赋值(2).mp4 [107.89M]

130_kl的解释与赋值(21).mp4 [84.90M]

131_kl的解释与赋值(1v).mp4 [96.05M]

132_kl的解释与赋值(v).mp4 [90.03M]

133_kl的解释与赋值(v1).mp4 [96.84M]

134_kl的可靠性与和谐性.mp4 [125.93M]