种子简介

种子名称： 离散数学 Discrete Mathematics
文件类型： 视频
文件数目： 106个文件
文件大小： 2.36 GB
收录时间： 2017-9-15 09:56
已经下载： 3次
资源热度： 258
最近下载： 2024-11-16 15:21

下载BT种子文件

下载Torrent文件(.torrent) 立即下载

磁力链接下载

magnet:?xt=urn:btih:129b3d7500dff73a66db66a26c180efc64e68990&dn=离散数学 Discrete Mathematics 复制链接到迅雷、QQ旋风进行下载，或者使用百度云离线下载。

喜欢这个种子的人也喜欢

种子包含的文件

离散数学 Discrete Mathematics.torrent

第10周：形式语言与自动机：基本概念/10 - 1 - 80-语言及研究方向(18-10).mp441.82MB

第10周：形式语言与自动机：基本概念/10 - 2 - 81-形式语言(13-30).mp431.32MB

第10周：形式语言与自动机：基本概念/10 - 3 - 82-短语结构语法(9-58).mp421.67MB

第10周：形式语言与自动机：基本概念/10 - 4 - 83-语言及语法表示(9-58).mp421.77MB

第10周：形式语言与自动机：基本概念/10 - 5 - 84-形式语法分类(9-28).mp420.52MB

第10周：形式语言与自动机：基本概念/10 - 6 - 85-语法分析(8-10).mp417.79MB

第10周：形式语言与自动机：基本概念/10 - 7 - 86-BNF范式(13-29).mp429.74MB

第10周：形式语言与自动机：基本概念/10 - 8 - 87-语法图(8-04).mp413.17MB

第10周：形式语言与自动机：基本概念/10 - 9 - 88-正则语法(5-56).mp415.58MB

第11周：形式语言与自动机：有限状态机/11 - 1 - 89-有限状态机(9-22).mp424.92MB

第11周：形式语言与自动机：有限状态机/11 - 2 - 90-状态图(11-09).mp429.83MB

第11周：形式语言与自动机：有限状态机/11 - 3 - 91-泵引理(10-35).mp427.43MB

第11周：形式语言与自动机：有限状态机/11 - 4 - 92-机器同余(6-30).mp418.14MB

第11周：形式语言与自动机：有限状态机/11 - 5 - 93-商机器(7-08).mp415.7MB

第11周：形式语言与自动机：有限状态机/11 - 6 - 94-商机器的性质(10-16).mp428.26MB

第11周：形式语言与自动机：有限状态机/11 - 7 - 95-机器化简(8-10).mp417.36MB

第11周：形式语言与自动机：有限状态机/11 - 8 - 96-带输出的机器(9-26).mp424.57MB

第11周：形式语言与自动机：有限状态机/11 - 9 - 97-程序实现状态机(9-13).mp425.78MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 1 - 98-图灵机(10-07).mp427.41MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 2 - 99-图灵机例子(9-33).mp426.1MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 3 - 100-图灵机变种(6-41).mp417.15MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 4 - 101-识别与判定(8-32).mp422.21MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 5 - 102-哥德尔编码(11-11).mp428.64MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 6 - 103-通用图灵机(7-45).mp420.32MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 7 - 104-停机问题(15-32).mp440MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 8 - 105-哥德尔不完备定理(11-07).mp424.76MB

第12周：形式语言与自动机：图灵机与计算理论/12 - 9 - 106-不可判定问题(8-30).mp422.03MB

第1周：数理逻辑：基本概念/1 - 1 - 02-正式内容之前：形式化及其极限(18-53).mp432.11MB

第1周：数理逻辑：基本概念/1 - 10 - 11-真值函数(6-38).mp410.02MB

第1周：数理逻辑：基本概念/1 - 11 - 12-命题形式化(6-33).mp410.91MB

第1周：数理逻辑：基本概念/1 - 2 - 03-正式内容之前：悖论、版画、卡农(11-52).mp421.77MB

第1周：数理逻辑：基本概念/1 - 3 - 04-数理逻辑介绍(4_55).mp49.2MB

第1周：数理逻辑：基本概念/1 - 4 - 05-什么是命题(5-50).mp412.48MB

第1周：数理逻辑：基本概念/1 - 5 - 06-排中律(5-50).mp411.42MB

第1周：数理逻辑：基本概念/1 - 6 - 07-命题符号化(7-30).mp413.85MB

第1周：数理逻辑：基本概念/1 - 7 - 08-逻辑联结词（上）(6-58).mp413.89MB

第1周：数理逻辑：基本概念/1 - 8 - 09-逻辑联结词（下）(7-42).mp415.65MB

第1周：数理逻辑：基本概念/1 - 9 - 10-命题公式(6-37).mp411.86MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 1 - 13-重言式(6-11).mp414.18MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 10 - 22-命题演算形式系统PC(9-06).mp421.69MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 11 - 23-PC中的定理证明(7-52).mp412.93MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 12 - 24-三个元定理(15-30).mp441.11MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 13 - 25-定理判定问题(15-38).mp435.87MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 2 - 14-逻辑等价式和逻辑蕴涵式(17-40).mp443.02MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 3 - 15-代入原理和替换原理(5-41).mp411.09MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 4 - 16-证明逻辑等价式和逻辑蕴涵式(13-53).mp425.06MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 5 - 17-范式及基本术语(7-26).mp417.04MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 6 - 18-求范式的一般步骤(10-25).mp422.57MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 7 - 19-主范式(14-46).mp424.36MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 8 - 20-联结词集完备性(10-28).mp425.48MB

第2周：数理逻辑：命题逻辑及形式系统/2 - 9 - 21-形式系统和证明、演绎(7-02).mp415.32MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 1 - 26-数理逻辑-个体、谓词和量词(14-30).mp426.75MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 2 - 27-数理逻辑-谓词公式(9-52).mp416.33MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 3 - 28-数理逻辑-谓词公式永真式(13-58).mp429.8MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 4 - 29-数理逻辑-谓词演算形式系统FC(9-38).mp419.55MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 5 - 30-数理逻辑-全称引入规则及存在消除规则(8-18).mp415MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 6 - 31-数理逻辑-自然推理系统(14-32).mp430.92MB

第3周：数理逻辑：谓词逻辑及形式系统/3 - 7 - 32-数理逻辑-ND中的定理证明(6-51).mp411.12MB

第4周：集合论：集合代数/4 - 1 - 33-集合论与无限(18-26).mp453.21MB

第4周：集合论：集合代数/4 - 2 - 34-集合基本概念(15-17).mp446.79MB

第4周：集合论：集合代数/4 - 3 - 35-子集合(13-26).mp427.04MB

第4周：集合论：集合代数/4 - 4 - 36-集合基本运算(23-03).mp445.77MB

第4周：集合论：集合代数/4 - 5 - 37-集合族及运算(17-02).mp433.25MB

第4周：集合论：集合代数/4 - 6 - 38-归纳定义(10-16).mp418.7MB

第4周：集合论：集合代数/4 - 7 - 39-自然数的定义(11-35).mp422.59MB

第4周：集合论：集合代数/4 - 8 - 40-归纳原理(7-26).mp413.02MB

第4周：集合论：集合代数/4 - 9 - 41-数学归纳法(11-58).mp421.1MB

第4周：集合论：集合代数/趣味动画：希尔伯特旅馆悖论.flv45.04MB

第5周：集合论：关系基本概念/5 - 1 - 42-有序组(7-00).mp415.63MB

第5周：集合论：关系基本概念/5 - 2 - 43-笛卡尔积(8-36).mp418.39MB

第5周：集合论：关系基本概念/5 - 3 - 44-关系定义(14-17).mp431.15MB

第5周：集合论：关系基本概念/5 - 4 - 45-关系运算(9-13).mp420.15MB

第5周：集合论：关系基本概念/5 - 5 - 46-关系合成运算(19-00).mp443.19MB

第5周：集合论：关系基本概念/5 - 6 - 47-关系基本特性(10-48).mp424.22MB

第5周：集合论：关系基本概念/5 - 7 - 48-关系特性定理(16-35).mp432.24MB

第6周：集合论：特殊关系及函数/6 - 1 - 49-等价关系(11-24).mp426.44MB

第6周：集合论：特殊关系及函数/6 - 2 - 50-等价关系与划分(11-57).mp427.94MB

第6周：集合论：特殊关系及函数/6 - 3 - 51-划分之间的关系(9-23).mp417.31MB

第6周：集合论：特殊关系及函数/6 - 4 - 52-划分运算(10-18).mp419.94MB

第6周：集合论：特殊关系及函数/6 - 5 - 53-序关系(12-22).mp424.89MB

第6周：集合论：特殊关系及函数/6 - 6 - 54-序关系中的特殊元素(17-32).mp436.68MB

第6周：集合论：特殊关系及函数/6 - 7 - 55-函数(14-39).mp433.27MB

第6周：集合论：特殊关系及函数/6 - 8 - 56-函数合成(5-59).mp49.27MB

第6周：集合论：特殊关系及函数/6 - 9 - 57-特殊函数类(8-26).mp419.07MB

第7周：图论：图的基本概念/7 - 1 - 58-图的定义(9-13).mp419.34MB

第7周：图论：图的基本概念/7 - 2 - 59-图的基本概念(7-40).mp417.13MB

第7周：图论：图的基本概念/7 - 3 - 60-度和正则图(7-12).mp415.94MB

第7周：图论：图的基本概念/7 - 4 - 61-子图与同构图(8-33).mp419.24MB

第7周：图论：图的基本概念/7 - 5 - 62-路径与连通性(12-45).mp429.04MB

第7周：图论：图的基本概念/7 - 6 - 63-连通性(7-51).mp418.1MB

第7周：图论：图的基本概念/7 - 7 - 64-欧拉图与哈密顿图(12-23).mp427.68MB

第8周：图论：特殊图/8 - 1 - 65-图的矩阵表示(12-19).mp427.47MB

第8周：图论：特殊图/8 - 2 - 66-二分图(11-42).mp421.39MB

第8周：图论：特殊图/8 - 3 - 67-二分图的匹配(13-22).mp426.96MB

第8周：图论：特殊图/8 - 4 - 68-平面图(8-27).mp418.64MB

第8周：图论：特殊图/8 - 5 - 69-树(9-05).mp418.64MB

第8周：图论：特殊图/8 - 6 - 70-树的应用(9-47).mp419.98MB

第9周：抽象代数/9 - 1 - 71-引言(7-15).mp417.19MB

第9周：抽象代数/9 - 2 - 72-代数结构(10-05).mp422.45MB

第9周：抽象代数/9 - 3 - 73-幺元(4-09).mp49.2MB

第9周：抽象代数/9 - 4 - 74-零元(3-44).mp48.43MB

第9周：抽象代数/9 - 5 - 75-逆元(9-28).mp420.93MB

第9周：抽象代数/9 - 6 - 76-可约元素(6-05).mp413.18MB

第9周：抽象代数/9 - 7 - 77-同构与同态(11-56).mp428MB

第9周：抽象代数/9 - 8 - 78-同余关系(4-43).mp411.28MB

第9周：抽象代数/9 - 9 - 79-群环域(4-49).mp48.86MB