离散数学 东北大学（全69讲）
本课程共67集 翻译完 欢迎学习
立即播放
用手机看
课程免费缓存，随时观看～
扫码下载网易公开课APP
收藏
课程列表
【第1集】命题及命题的真值 译
【第2集】离散数学 东北大学（全69讲）(逻辑连接词) 译
【第3集】命题逻辑中命题的符号化 译
【第4集】命题公式及其真值表 译
【第5集】命题公式的等价 译
【第6集】重言式与重言蕴含式 译
【第7集】析取范式与合取范式 译
【第8集】离散数学 东北大学（全69讲）(主析取范式) 译
【第9集】离散数学 东北大学（全69讲）(主合取范式) 译
【第10集】命题逻辑推理一：直接推理 译
【第11集】命题逻辑推理二：间接推理 译
【第12集】谓词逻辑的基本概念 译
【第13集】谓词公式与量词的辖域 译
【第14集】谓词逻辑中量词的符号化 译
【第15集】谓词演算的等价式与蕴含式（一） 译
【第16集】谓词演算的等价式与蕴含式（二） 译
【第17集】离散数学 东北大学（全69讲）(前束范式) 译
【第18集】谓词演算的推理理论（一） 译
【第20集】集合的基本概念 译
【第21集】集合间的关系 译
【第22集】离散数学 东北大学（全69讲）(特殊集合) 译
【第23集】离散数学 东北大学（全69讲）(集合的运算) 译
【第24集】有穷集的计数（容斥定理） 译
【第25集】序偶与集合的笛卡尔积 译
【第26集】二元关系及其表示法 译
【第27集】二元关系的性质 译
【第28集】关系的复合运算 译
【第29集】关系的求逆运算 译
【第30集】关系的闭包运算 译
【第31集】集合的划分与覆盖 译
【第32集】等价关系与等价类 译
【第33集】相容关系与相容类 译
【第34集】离散数学 东北大学（全69讲）(偏序关系) 译
【第35集】函数的基本概念 译
【第36集】离散数学 东北大学（全69讲）(函数的复合) 译
【第37集】逆函数及其性质 译
【第38集】集合基数的基本概念 译
【第39集】加法法则与乘法法则 译
【第40集】离散数学 东北大学（全69讲）(排列与组合) 译
【第41集】二项式定理与组合恒等式 译
【第42集】离散数学 东北大学（全69讲）(多项式定理) 译
【第43集】二元运算及其性质 译
【第44集】二元运算中的特殊元 译
【第45集】代数系统的同态与同构 译
【第46集】代数系统同构的性质 译
【第47集】半群和独异点 译
【第48集】群的定义及性质 译
【第50集】子群的陪集及拉格朗日定理 译
【第51集】离散数学 东北大学（全69讲）(循环群) 译
【第52集】循环群的子群 译
【第53集】离散数学 东北大学（全69讲）(环与域) 译
【第54集】格的基本概念 译
【第55集】离散数学 东北大学（全69讲）(格的性质) 译
【第56集】离散数学 东北大学（全69讲）(特殊的格) 译
【第57集】离散数学 东北大学（全69讲）(布尔代数) 译
【第58集】图的基本概念 译
【第59集】离散数学 东北大学（全69讲）(图的连通性) 译
【第60集】图的矩阵表示 译
【第61集】离散数学 东北大学（全69讲）(欧拉图) 译
【第62集】离散数学 东北大学（全69讲）(汉密尔顿图) 译
【第63集】最短通路问题 译
【第64集】离散数学 东北大学（全69讲）(平面图) 译
【第65集】离散数学 东北大学（全69讲）(图着色) 译
【第66集】无向树及其性质 译
【第67集】离散数学 东北大学（全69讲）(生成树) 译
【第68集】离散数学 东北大学（全69讲）(根树) 译
【第69集】离散数学 东北大学（全69讲）(根树的应用) 译
查看全部课程
相关推荐
