离散数学_北京大学-主讲：王捍贫 134讲 百度网盘下载

00_shipin_134

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_集合论习题课(1_3章).mp4

015_自然数的定义.mp4

016_自然数的性质.mp4

017_集合的等势_有穷集与无穷集.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_中国邮递员问题和货郎担问题.mp4

040_课程总结.mp4

041_引言.mp4

042_二元运算及其性质(1).mp4

043_二元运算及其性质(2).mp4

044_代数系统.mp4

045_子代数和积代数.mp4

046_代数系统的同态与同构.mp4

047_同余关系与商代数.mp4

048_商代数及小结.mp4

049_半群与独异点.mp4

050_直积_商代数与同态.mp4

051_引言.mp4

052_群的定义和性质.mp4

053_群的性质.mp4

054_子群(1).mp4

055_子群(2).mp4

056_循环群.mp4

057_变换群与置换群.mp4

058_置换群(2).mp4

059_群的分解(1).mp4

060_群的分解及正规子群.mp4

061_商群与群同态.mp4

062_环的定义和性质.mp4

063_子环_理想_商环和环同态.mp4

064_格的定义和性质.mp4

065_子格格同态及直积.mp4

066_特殊的格(1).mp4

067_有补格_布尔格(2).mp4

068_布尔代数(3).mp4

069_组合数学引言.mp4

070_鸽巢原理与ramsey定理.mp4

071_组合存在性应用.mp4

072_两个计数原则_排列组合.mp4

073_排列与组合.mp4

074_二项式定理与组合恒等式.mp4

075_组合恒等式(2).mp4

076_多项式定理_组合计数应用.mp4

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

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

079_递推方程其他解法及应用.mp4

080_递推方程应用.mp4

081_生成函数的定义和性质.mp4

082_生成函数与组合计数(1).mp4

083_生成函数与组合计数(2).mp4

084_指数生成函数.mp4

085_catalan数与stirling数.mp4

086_包含排斥原理_对称筛公式.mp4

087_棋盘多项式.mp4

088_burnside引理与polya定理.mp4

089_polya定理(2).mp4

090_课程总结.mp4

091_引言.mp4

092_命题与联结词(1).mp4

093_命题与联结词(2).mp4

094_命题形式与真值表(1).mp4

095_命题形式与真值表(2).mp4

096_联结词的完全集(1).mp4

097_联结词的完全集(2).mp4

098_推理形式.mp4

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

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

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

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

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

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

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

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

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

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

109_n与p的等价性.mp4

110_赋值与等值演算(1).mp4

111_赋值与等值演算(2).mp4

112_赋值与等值演算(21).mp4

113_命题范式.mp4

114_可靠性_和谐性与完备性(1).mp4

115_可靠性_和谐性与完备性(2).mp4

116_一阶谓词演算的符号化.mp4

117_一阶语言(1).mp4

118_一阶语言(2).mp4

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

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

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

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

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

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

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

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

127_nl与kl的等价性.mp4

128_kl的解释与赋值(1).mp4

129_kl的解释与赋值(2).mp4

130_kl的解释与赋值(21).mp4

131_kl的解释与赋值(1v).mp4

132_kl的解释与赋值(v).mp4

133_kl的解释与赋值(v1).mp4

134_kl的可靠性与和谐性.mp4