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