zhongziso种子搜
首页
功能
磁力转BT
BT转磁力
使用教程
免责声明
关于
zhongziso
搜索
离散数学 Discrete Mathematics
magnet:?xt=urn:btih:129b3d7500dff73a66db66a26c180efc64e68990&dn=离散数学 Discrete Mathematics
磁力链接详情
Hash值:
129b3d7500dff73a66db66a26c180efc64e68990
点击数:
255
文件大小:
2.36 GB
文件数量:
106
创建日期:
2017-9-15 09:56
最后访问:
2024-10-30 21:54
访问标签:
离散数学
Discrete
Mathematics
文件列表详情
第10周：形式语言与自动机：基本概念/10 - 1 - 80-语言及研究方向(18-10).mp4 41.82 MB
第10周：形式语言与自动机：基本概念/10 - 2 - 81-形式语言(13-30).mp4 31.32 MB
第10周：形式语言与自动机：基本概念/10 - 3 - 82-短语结构语法(9-58).mp4 21.67 MB
第10周：形式语言与自动机：基本概念/10 - 4 - 83-语言及语法表示(9-58).mp4 21.77 MB
第10周：形式语言与自动机：基本概念/10 - 5 - 84-形式语法分类(9-28).mp4 20.52 MB
第10周：形式语言与自动机：基本概念/10 - 6 - 85-语法分析(8-10).mp4 17.79 MB
第10周：形式语言与自动机：基本概念/10 - 7 - 86-BNF范式(13-29).mp4 29.74 MB
第10周：形式语言与自动机：基本概念/10 - 8 - 87-语法图(8-04).mp4 13.17 MB
第10周：形式语言与自动机：基本概念/10 - 9 - 88-正则语法(5-56).mp4 15.58 MB
第11周：形式语言与自动机：有限状态机/11 - 1 - 89-有限状态机(9-22).mp4 24.92 MB
第11周：形式语言与自动机：有限状态机/11 - 2 - 90-状态图(11-09).mp4 29.83 MB
第11周：形式语言与自动机：有限状态机/11 - 3 - 91-泵引理(10-35).mp4 27.43 MB
第11周：形式语言与自动机：有限状态机/11 - 4 - 92-机器同余(6-30).mp4 18.14 MB
第11周：形式语言与自动机：有限状态机/11 - 5 - 93-商机器(7-08).mp4 15.7 MB
第11周：形式语言与自动机：有限状态机/11 - 6 - 94-商机器的性质(10-16).mp4 28.26 MB
第11周：形式语言与自动机：有限状态机/11 - 7 - 95-机器化简(8-10).mp4 17.36 MB
第11周：形式语言与自动机：有限状态机/11 - 8 - 96-带输出的机器(9-26).mp4 24.57 MB
第11周：形式语言与自动机：有限状态机/11 - 9 - 97-程序实现状态机(9-13).mp4 25.78 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 1 - 98-图灵机(10-07).mp4 27.41 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 2 - 99-图灵机例子(9-33).mp4 26.1 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 3 - 100-图灵机变种(6-41).mp4 17.15 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 4 - 101-识别与判定(8-32).mp4 22.21 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 5 - 102-哥德尔编码(11-11).mp4 28.64 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 6 - 103-通用图灵机(7-45).mp4 20.32 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 7 - 104-停机问题(15-32).mp4 40 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 8 - 105-哥德尔不完备定理(11-07).mp4 24.76 MB
第12周：形式语言与自动机：图灵机与计算理论/12 - 9 - 106-不可判定问题(8-30).mp4 22.03 MB
第1周：数理逻辑：基本概念/1 - 1 - 02-正式内容之前：形式化及其极限(18-53).mp4 32.11 MB
第1周：数理逻辑：基本概念/1 - 10 - 11-真值函数(6-38).mp4 10.02 MB
第1周：数理逻辑：基本概念/1 - 11 - 12-命题形式化(6-33).mp4 10.91 MB
第1周：数理逻辑：基本概念/1 - 2 - 03-正式内容之前：悖论、版画、卡农(11-52).mp4 21.77 MB
第1周：数理逻辑：基本概念/1 - 3 - 04-数理逻辑介绍(4_55).mp4 9.2 MB
第1周：数理逻辑：基本概念/1 - 4 - 05-什么是命题(5-50).mp4 12.48 MB
第1周：数理逻辑：基本概念/1 - 5 - 06-排中律(5-50).mp4 11.42 MB
第1周：数理逻辑：基本概念/1 - 6 - 07-命题符号化(7-30).mp4 13.85 MB
第1周：数理逻辑：基本概念/1 - 7 - 08-逻辑联结词（上）(6-58).mp4 13.89 MB
第1周：数理逻辑：基本概念/1 - 8 - 09-逻辑联结词（下）(7-42).mp4 15.65 MB
第1周：数理逻辑：基本概念/1 - 9 - 10-命题公式(6-37).mp4 11.86 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 1 - 13-重言式(6-11).mp4 14.18 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 10 - 22-命题演算形式系统PC(9-06).mp4 21.69 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 11 - 23-PC中的定理证明(7-52).mp4 12.93 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 12 - 24-三个元定理(15-30).mp4 41.11 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 13 - 25-定理判定问题(15-38).mp4 35.87 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 2 - 14-逻辑等价式和逻辑蕴涵式(17-40).mp4 43.02 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 3 - 15-代入原理和替换原理(5-41).mp4 11.09 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 4 - 16-证明逻辑等价式和逻辑蕴涵式(13-53).mp4 25.06 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 5 - 17-范式及基本术语(7-26).mp4 17.04 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 6 - 18-求范式的一般步骤(10-25).mp4 22.57 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 7 - 19-主范式(14-46).mp4 24.36 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 8 - 20-联结词集完备性(10-28).mp4 25.48 MB
第2周：数理逻辑：命题逻辑及形式系统/2 - 9 - 21-形式系统和证明、演绎(7-02).mp4 15.32 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 1 - 26-数理逻辑-个体、谓词和量词(14-30).mp4 26.75 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 2 - 27-数理逻辑-谓词公式(9-52).mp4 16.33 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 3 - 28-数理逻辑-谓词公式永真式(13-58).mp4 29.8 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 4 - 29-数理逻辑-谓词演算形式系统FC(9-38).mp4 19.55 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 5 - 30-数理逻辑-全称引入规则及存在消除规则(8-18).mp4 15 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 6 - 31-数理逻辑-自然推理系统(14-32).mp4 30.92 MB
第3周：数理逻辑：谓词逻辑及形式系统/3 - 7 - 32-数理逻辑-ND中的定理证明(6-51).mp4 11.12 MB
第4周：集合论：集合代数/4 - 1 - 33-集合论与无限(18-26).mp4 53.21 MB
第4周：集合论：集合代数/4 - 2 - 34-集合基本概念(15-17).mp4 46.79 MB
第4周：集合论：集合代数/4 - 3 - 35-子集合(13-26).mp4 27.04 MB
第4周：集合论：集合代数/4 - 4 - 36-集合基本运算(23-03).mp4 45.77 MB
第4周：集合论：集合代数/4 - 5 - 37-集合族及运算(17-02).mp4 33.25 MB
第4周：集合论：集合代数/4 - 6 - 38-归纳定义(10-16).mp4 18.7 MB
第4周：集合论：集合代数/4 - 7 - 39-自然数的定义(11-35).mp4 22.59 MB
第4周：集合论：集合代数/4 - 8 - 40-归纳原理(7-26).mp4 13.02 MB
第4周：集合论：集合代数/4 - 9 - 41-数学归纳法(11-58).mp4 21.1 MB
第4周：集合论：集合代数/趣味动画：希尔伯特旅馆悖论.flv 45.04 MB
第5周：集合论：关系基本概念/5 - 1 - 42-有序组(7-00).mp4 15.63 MB
第5周：集合论：关系基本概念/5 - 2 - 43-笛卡尔积(8-36).mp4 18.39 MB
第5周：集合论：关系基本概念/5 - 3 - 44-关系定义(14-17).mp4 31.15 MB
第5周：集合论：关系基本概念/5 - 4 - 45-关系运算(9-13).mp4 20.15 MB
第5周：集合论：关系基本概念/5 - 5 - 46-关系合成运算(19-00).mp4 43.19 MB
第5周：集合论：关系基本概念/5 - 6 - 47-关系基本特性(10-48).mp4 24.22 MB
第5周：集合论：关系基本概念/5 - 7 - 48-关系特性定理(16-35).mp4 32.24 MB
第6周：集合论：特殊关系及函数/6 - 1 - 49-等价关系(11-24).mp4 26.44 MB
第6周：集合论：特殊关系及函数/6 - 2 - 50-等价关系与划分(11-57).mp4 27.94 MB
第6周：集合论：特殊关系及函数/6 - 3 - 51-划分之间的关系(9-23).mp4 17.31 MB
第6周：集合论：特殊关系及函数/6 - 4 - 52-划分运算(10-18).mp4 19.94 MB
第6周：集合论：特殊关系及函数/6 - 5 - 53-序关系(12-22).mp4 24.89 MB
第6周：集合论：特殊关系及函数/6 - 6 - 54-序关系中的特殊元素(17-32).mp4 36.68 MB
第6周：集合论：特殊关系及函数/6 - 7 - 55-函数(14-39).mp4 33.27 MB
第6周：集合论：特殊关系及函数/6 - 8 - 56-函数合成(5-59).mp4 9.27 MB
第6周：集合论：特殊关系及函数/6 - 9 - 57-特殊函数类(8-26).mp4 19.07 MB
第7周：图论：图的基本概念/7 - 1 - 58-图的定义(9-13).mp4 19.34 MB
第7周：图论：图的基本概念/7 - 2 - 59-图的基本概念(7-40).mp4 17.13 MB
第7周：图论：图的基本概念/7 - 3 - 60-度和正则图(7-12).mp4 15.94 MB
第7周：图论：图的基本概念/7 - 4 - 61-子图与同构图(8-33).mp4 19.24 MB
第7周：图论：图的基本概念/7 - 5 - 62-路径与连通性(12-45).mp4 29.04 MB
第7周：图论：图的基本概念/7 - 6 - 63-连通性(7-51).mp4 18.1 MB
第7周：图论：图的基本概念/7 - 7 - 64-欧拉图与哈密顿图(12-23).mp4 27.68 MB
第8周：图论：特殊图/8 - 1 - 65-图的矩阵表示(12-19).mp4 27.47 MB
第8周：图论：特殊图/8 - 2 - 66-二分图(11-42).mp4 21.39 MB
第8周：图论：特殊图/8 - 3 - 67-二分图的匹配(13-22).mp4 26.96 MB
第8周：图论：特殊图/8 - 4 - 68-平面图(8-27).mp4 18.64 MB
第8周：图论：特殊图/8 - 5 - 69-树(9-05).mp4 18.64 MB
第8周：图论：特殊图/8 - 6 - 70-树的应用(9-47).mp4 19.98 MB
第9周：抽象代数/9 - 1 - 71-引言(7-15).mp4 17.19 MB
第9周：抽象代数/9 - 2 - 72-代数结构(10-05).mp4 22.45 MB
第9周：抽象代数/9 - 3 - 73-幺元(4-09).mp4 9.2 MB
第9周：抽象代数/9 - 4 - 74-零元(3-44).mp4 8.43 MB
第9周：抽象代数/9 - 5 - 75-逆元(9-28).mp4 20.93 MB
第9周：抽象代数/9 - 6 - 76-可约元素(6-05).mp4 13.18 MB
第9周：抽象代数/9 - 7 - 77-同构与同态(11-56).mp4 28 MB
第9周：抽象代数/9 - 8 - 78-同余关系(4-43).mp4 11.28 MB
第9周：抽象代数/9 - 9 - 79-群环域(4-49).mp4 8.86 MB
其他位置