V
主页
2020年4月9日.6-7节.离散数学.一阶逻辑等值式和前束范式
发布人
这是2020年4月9日星期四下午6-7节上离散数学时的直播教学回放,内容主要是一阶逻辑等值式与前束范式,到这里,数理逻辑的学习就告一段落。开始介绍集合论的基本概念。
打开封面
下载高清视频
观看高清视频
视频下载器
2020年4月7日.6-7节.离散数学.一阶逻辑等值式和前束范式
2021年3月16日.3-4节.离散数学.等值演算与范式
2021年3月16日.6-7节.离散数学.等值演算与范式
2020年3月31日.6-7节.离散数学.一阶逻辑公式及解释
2020年6月9日.6-7节.离散数学.最短路径算法等
2020年5月12日.6-7节.离散数学.关系的性质和闭包
2020年3月31日.10-11节.离散数学.一阶逻辑公式
2020年3月24日.6-7节.离散数学.推理理论&一阶逻辑
2020年3月26日.6-7节.离散数学.推理理论&一阶逻辑
2020年3月26日.8-9节.离散数学.推理理论&一阶逻辑
2020年3月24日.10-11节.离散数学.推理理论&一阶逻辑
2020年3月12日.8-9节.离散数学.等值演算与范式
2020年3月10日.10-11节.离散数学.等值演算与范式
2020年4月2日.6-7节.离散数学.一阶逻辑公式及解释
2020年5月21日.8-9节.离散数学.偏序关系与函数的性质
2020年4月30日.8-9节.离散数学.关系的运算和性质
2020年3月17日.6-7节.离散数学.联结词全功能集
2020年6月4日.6-7节.离散数学.无向图与有向图
2020年4月7日.10-11节.离散数学.一阶逻辑等值式和前束范式
2020年2月27日.8-9节.离散数学.命题符号化与联结词
2020年4月21日.6-7节.离散数学.容斥原理与二元关系
2020年3月10日.6-7节.离散数学.等值演算与范式
2020年4月28日.10-11节.离散数学.关系运算和性质
2020年6月2日.6-7节.离散数学.无向图与有向图
2020年3月19日.8-9节.离散数学.联结词全功能集
2021年3月9日.3-4节.离散数学.命题公式的层次与类型
2020年3月17日.10-11节.离散数学.联结词全功能集
2020年4月16日.6-7节.离散数学.集合的概念和运算
2021年6月24日.离散数学.图论.通路、回路和图的连通性
2020年4月23日.8-9节.离散数学.容斥原理与二元关系
2020年5月7日.6-7节.离散数学.关系的性质和闭包
2020年5月7日.8-9节.离散数学.关系的性质和闭包
2021年6月14日.离散数学.图论.无向图及有向图
第2讲 巧算加减法练课
2020年2月27日.6-7节.离散数学.命题符号化与联结词
2021年3月2日.1-2节.离散数学.课程简介&命题符号化
2020年3月24日.8-9节.数学实验.SARS&饮酒驾车
2020年5月28日.10-11节.数学实验.MATLAB遗传算法工具箱
2020年5月28日.8-9节.离散数学.雨课堂考试系统简介&函数的概念及与性质
2020年5月19日.6-7节.离散数学.两种特殊的关系与函数