【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】
本课程共136集 翻译完 欢迎学习
立即播放
用手机看
课程免费缓存，随时观看～
扫码下载网易公开课APP
收藏
课程列表
【第1集】【慕课+课堂实录】离散数学-北京大学-陈斌-字幕校对-【更新慕课第11周】(视频介绍) 译
【第2集】第1周【课堂实录1】这是一门什么课？内容与目标；教学形式（上） 译
【第3集】第1周【课堂实录1】这是一门什么课？内容与目标；教学形式（下） 译
【第4集】【慕课W00】01-课程简介 译
【第5集】【慕课W00】02-形式化及其极限（上） 译
【第6集】【慕课W00】02-形式化及其极限（下） 译
【第7集】【慕课W00】03-悖论、版画、卡农（上） 译
【第8集】【慕课W00】03-悖论、版画、卡农（下） 译
【第9集】【慕课W01】04-数理逻辑介绍 译
【第10集】【慕课W01】05-什么是命题 译
【第11集】【慕课W01】06-排中律 译
【第12集】【慕课W01】07-命题符号化 译
【第13集】【慕课W01】08-逻辑联结词（上） 译
【第14集】【慕课W01】09-逻辑联结词（下） 译
【第15集】【慕课W01】10-命题公式 译
【第16集】【慕课W01】11-真值函数 译
【第17集】【慕课W01】12-命题形式化 译
【第18集】第2周【课堂实录2-1】上周内容：数理逻辑-基本概念-课堂报告1（上） 译
【第19集】第2周【课堂实录2-1】上周内容：数理逻辑-基本概念-课堂报告1（中） 译
【第20集】第2周【课堂实录2-1】上周内容：数理逻辑-基本概念-课堂报告1（下） 译
【第21集】第2周【课堂实录2-2】课堂报告2（上） 译
【第22集】第2周【课堂实录2-2】课堂报告2（中） 译
【第23集】第2周【课堂实录2-2】课堂报告2（下） 译
【第24集】【慕课W02】13-数理逻辑-重言式 译
【第25集】【慕课W02】14-逻辑等价式和逻辑蕴涵式（上） 译
【第26集】【慕课W02】14-逻辑等价式和逻辑蕴涵式（下） 译
【第27集】【慕课W02】15-代入原理和替换原理 译
【第28集】【慕课W02】16-证明逻辑等价式和逻辑蕴涵式（上） 译
【第29集】【慕课W02】16-证明逻辑等价式和逻辑蕴涵式（下） 译
【第30集】【慕课W02】17-范式及基本术语 译
【第31集】【慕课W02】18-求范式的一般步骤（上） 译
【第32集】【慕课W02】18-求范式的一般步骤（下） 译
【第33集】【慕课W02】19-主范式（上） 译
【第34集】【慕课W02】19-主范式（下） 译
【第35集】【慕课W02】20-联结词集完备性（上） 译
【第36集】【慕课W02】20-联结词集完备性（下） 译
【第37集】【慕课W02】21-形式系统和证明、演绎 译
【第38集】【慕课W02】22-命题演算形式系统PC 译
【第39集】【慕课W02】23-PC中的定理证明 译
【第40集】【慕课W02】24-三个元定理（上） 译
【第41集】【慕课W02】24-三个元定理（下） 译
【第42集】【慕课W02】25-定理判定问题（上） 译
【第43集】【慕课W02】25-定理判定问题（下） 译
【第44集】第3周【课堂实录3-2】课堂报告2（上） 译
【第45集】第3周【课堂实录3-2】课堂报告2（中） 译
【第46集】第3周【课堂实录3-2】课堂报告2（下） 译
【第47集】第3周【课堂实录3-3】下周课程内容及课堂报告题目讲解（上） 译
【第48集】第3周【课堂实录3-3】下周课程内容及课堂报告题目讲解（下） 译
【第49集】【慕课W03】26-数理逻辑-个体、谓词和量词（上） 译
【第50集】【慕课W03】26-数理逻辑-个体、谓词和量词（下） 译
【第51集】【慕课W03】27-谓词公式 译
【第52集】【慕课W03】28-谓词公式永真式（上） 译
【第53集】【慕课W03】28-谓词公式永真式（下） 译
【第54集】【慕课W03】29-谓词演算形式系统FC 译
【第55集】【慕课W03】30-全称引入规则及存在消除规则 译
【第56集】【慕课W03】31-自然推理系统（上） 译
【第57集】【慕课W03】31-自然推理系统（下） 译
【第58集】【慕课W03】32-ND中的定理证明 译
【第59集】第5周【课堂实录5】上周内容：数理逻辑-谓词逻辑及其形式系统-课堂报告（上） 译
【第60集】第5周【课堂实录5】上周内容：数理逻辑-谓词逻辑及其形式系统-课堂报告（中） 译
【第61集】第5周【课堂实录5】上周内容：数理逻辑-谓词逻辑及其形式系统-课堂报告（下） 译
【第62集】【慕课W04】33-集合论与无限（上） 译
【第63集】【慕课W04】33-集合论与无限（下） 译
【第64集】【慕课W04】34-集合基本概念（上） 译
【第65集】【慕课W04】34-集合基本概念（下） 译
【第66集】【慕课W04】35-子集合（上） 译
【第67集】【慕课W04】35-子集合（下） 译
【第68集】【慕课W04】36-集合基本运算（上） 译
【第69集】【慕课W04】36-集合基本运算（下） 译
【第70集】【慕课W04】37-集合族及运算（上） 译
【第71集】【慕课W04】37-集合族及运算（下） 译
【第72集】【慕课W04】38-归纳定义（上） 译
【第73集】【慕课W04】38-归纳定义（下） 译
【第74集】【慕课W04】39-自然数的定义（上） 译
【第75集】【慕课W04】39-自然数的定义（下） 译
【第76集】【慕课W04】40-归纳原理 译
【第77集】【慕课W04】41-数学归纳法（上） 译
【第78集】【慕课W04】41-数学归纳法（下） 译
【第79集】第6周【课堂实录6-1】上周内容：集合论基本概念-课堂报告（上） 译
【第80集】第6周【课堂实录6-1】上周内容：集合论基本概念-课堂报告（中） 译
【第81集】第6周【课堂实录6-1】上周内容：集合论基本概念-课堂报告（下） 译
【第82集】第6周【课堂实录6-2】课堂报告-下周内容（上） 译
【第83集】第6周【课堂实录6-2】课堂报告-下周内容（中） 译
【第84集】第6周【课堂实录6-2】课堂报告-下周内容（下） 译
【第85集】【慕课W05】42-有序组 译
【第86集】【慕课W05】43-笛卡尔积 译
【第87集】【慕课W05】44-关系定义（上） 译
【第88集】【慕课W05】44-关系定义（下） 译
【第89集】【慕课W05】45-关系运算 译
【第90集】【慕课W05】47-关系基本特性（上） 译
【第91集】【慕课W05】47-关系基本特性（下） 译
【第92集】【慕课W05】48-关系特性定理（上） 译
【第93集】【慕课W05】48-关系特性定理（下） 译
【第94集】第7周【课堂实录7-1】集合代数；课堂报告-关系及运算；关系特性判定（上） 译
【第95集】第7周【课堂实录7-1】集合代数；课堂报告-关系及运算；关系特性判定（中） 译
【第96集】第7周【课堂实录7-1】集合代数；课堂报告-关系及运算；关系特性判定（下） 译
【第97集】第7周【课堂实录7-2】课堂报告-关系特性判定；亲戚计算器（上） 译
【第98集】第7周【课堂实录7-2】课堂报告-关系特性判定；亲戚计算器（中） 译
【第99集】第7周【课堂实录7-2】课堂报告-关系特性判定；亲戚计算器（下） 译
【第100集】【慕课W06】49-等价关系（上） 译
【第101集】【慕课W06】49-等价关系（下） 译
【第102集】【慕课W06】50-等价关系与划分（上） 译
【第103集】【慕课W06】50-等价关系与划分（下） 译
【第104集】【慕课W06】51-划分之间的关系 译
【第105集】【慕课W06】52-划分运算（上） 译
【第106集】【慕课W06】52-划分运算（下） 译
【第107集】【慕课W06】53-序关系（上） 译
【第108集】【慕课W06】53-序关系（下） 译
【第109集】【慕课W06】54-序关系中的特殊元素（上） 译
【第110集】【慕课W06】54-序关系中的特殊元素（下） 译
【第111集】【慕课W06】55-函数（上） 译
【第112集】【慕课W06】55-函数（下） 译
【第113集】【慕课W06】56-函数合成 译
【第114集】【慕课W06】57-特殊函数类 译
【第115集】第8周【课堂实录8-1】特殊关系及函数；课堂报告（上） 译
【第116集】第8周【课堂实录8-1】特殊关系及函数；课堂报告（中） 译
【第117集】第8周【课堂实录8-1】特殊关系及函数；课堂报告（下） 译
【第118集】第8周【课堂实录8-2】课堂报告（上） 译
【第119集】第8周【课堂实录8-2】课堂报告（中） 译
【第120集】第8周【课堂实录8-2】课堂报告（下） 译
【第121集】【慕课W07】58-图的定义 译
【第122集】【慕课W07】59-图的基本概念 译
【第123集】【慕课W07】61-子图与同构图 译
【第124集】【慕课W07】62-路径与连通性（上） 译
【第125集】【慕课W07】62-路径与连通性（下） 译
【第126集】【慕课W07】63-连通性 译
【第127集】【慕课W07】64-欧拉图与哈密顿图（上） 译
【第128集】【慕课W07】64-欧拉图与哈密顿图（下） 译
【第129集】第9周【课堂实录9-1】图的基本概念；社会网络；小世界现象（上） 译
【第130集】第9周【课堂实录9-1】图的基本概念；社会网络；小世界现象（中） 译
【第131集】第9周【课堂实录9-1】图的基本概念；社会网络；小世界现象（下） 译
【第132集】第9周【课堂实录9-2】图数据库neo4j；图同构判定；欧拉图可视化（上） 译
【第133集】第9周【课堂实录9-2】图数据库neo4j；图同构判定；欧拉图可视化（中） 译
【第134集】第9周【课堂实录9-2】图数据库neo4j；图同构判定；欧拉图可视化（下） 译
【第135集】【慕课W08】65-图的矩阵表示（上） 译
【第136集】【慕课W08】65-图的矩阵表示（下） 译
【第137集】【慕课W08】66-二分图（上） 译
【第138集】【慕课W08】66-二分图（下） 译
【第139集】【慕课W08】67-二分图的匹配（上） 译
【第140集】【慕课W08】67-二分图的匹配（下） 译
【第141集】【慕课W08】68-平面图 译
【第142集】【慕课W08】69-树 译
【第143集】【慕课W08】70-树的应用 译
【第144集】第10周【课堂实录10-1】-四色定理；猫狗兔过河；连通分支；路径可达性（上） 译
【第145集】第10周【课堂实录10-1】-四色定理；猫狗兔过河；连通分支；路径可达性（中） 译
【第146集】第10周【课堂实录10-1】-四色定理；猫狗兔过河；连通分支；路径可达性（下） 译
【第147集】第10周【课堂实录10-2】二分图最大匹配；N元树二叉树转换；移动机器人路径规划（上） 译
【第148集】第10周【课堂实录10-2】二分图最大匹配；N元树二叉树转换；移动机器人路径规划（中） 译
【第149集】第10周【课堂实录10-2】二分图最大匹配；N元树二叉树转换；移动机器人路径规划（下） 译
【第150集】【慕课W09】71-抽象代数引言 译
【第151集】【慕课W09】72-代数结构（上） 译
【第152集】【慕课W09】72-代数结构（下） 译
【第153集】【慕课W09】73-特殊元素：幺元 译
【第154集】【慕课W09】74-特殊元素：零元 译
【第155集】【慕课W09】75-逆元 译
【第156集】【慕课W09】76-可约元素 译
【第157集】【慕课W09】77-同构与同态（上） 译
【第158集】【慕课W09】77-同构与同态（下） 译
【第159集】【慕课W09】78-同余关系 译
【第160集】【慕课W09】79-群环域 译
【第161集】第11周【课堂实录11-1】公交换乘优化；代数结构性质编程验证；同构验证（上） 译
【第162集】第11周【课堂实录11-1】公交换乘优化；代数结构性质编程验证；同构验证（中） 译
【第163集】第11周【课堂实录11-1】公交换乘优化；代数结构性质编程验证；同构验证（下） 译
【第164集】第11周【课堂实录11-2】汉明码编程验证；魔方里的代数；群论与纠错码（上） 译
【第165集】第11周【课堂实录11-2】汉明码编程验证；魔方里的代数；群论与纠错码（中） 译
【第166集】第11周【课堂实录11-2】汉明码编程验证；魔方里的代数；群论与纠错码（下） 译
【第167集】【慕课W10】80-语言及研究方向（上） 译
【第168集】【慕课W10】80-语言及研究方向（下） 译
【第169集】【慕课W10】81-形式语言（上） 译
【第170集】【慕课W10】81-形式语言（下） 译
【第171集】【慕课W10】82-短语结构语法 译
【第172集】【慕课W10】83-语言及语法表示 译
【第173集】【慕课W10】84-形式语法分类 译
【第174集】【慕课W10】85-语法分析 译
【第175集】【慕课W10】86-BNF范式（上） 译
【第176集】【慕课W10】86-BNF范式（下） 译
【第177集】【慕课W10】87-语法图 译
【第178集】【慕课W10】88-正则语法 译
【第179集】第12周【课堂实录12-1】四元数与三维旋转；Python的lex/yacc编程（上） 译
【第180集】第12周【课堂实录12-1】四元数与三维旋转；Python的lex/yacc编程（中） 译
【第181集】第12周【课堂实录12-1】四元数与三维旋转；Python的lex/yacc编程（下） 译
【第182集】第12周【课堂实录12-2】机器翻译发展史；Python语言BNF描述；编译器和解释器（上） 译
【第183集】第12周【课堂实录12-2】机器翻译发展史；Python语言BNF描述；编译器和解释器（中） 译
【第184集】第12周【课堂实录12-2】机器翻译发展史；Python语言BNF描述；编译器和解释器（下） 译
【第185集】【慕课W11】89-有限状态机 译
【第186集】【慕课W11】90-FSM状态图（上） 译
【第187集】【慕课W11】90-FSM状态图（下） 译
【第188集】【慕课W11】91-泵引理（上） 译
【第189集】【慕课W11】91-泵引理（下） 译
【第190集】【慕课W11】92-机器同余 译
【第191集】【慕课W11】95-机器化简 译
【第192集】【慕课W11】96-带输出的机器 译
【第193集】【慕课W11】97-程序实现有限状态机 译
查看全部课程
相关推荐
