离散数学_北京大学_主讲-王捍贫 134讲(爱课程mp4)
链接: https://pan.baidu.com/s/1vJl7Ylc4xDHjpke80Sw4Fg 提取码: mkcg
| ├──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
| ├──00_shipin.bat 9.81kb
| ├──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
链接: https://pan.baidu.com/s/1vJl7Ylc4xDHjpke80Sw4Fg 提取码: mkcg
| ├──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
| ├──00_shipin.bat 9.81kb
| ├──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
说明：文件格式：mp4 /flv 百度网盘可直接看
下载本视频课程需扣(VIP免点）：2点
在线下载列表