V
主页
京东 11.11 红包
1 命题及逻辑连接词
发布人
杭州电子科技大学计算机专业基础必修课,离散数学1第一章,命题逻辑第一节内容,命题及逻辑连接词
打开封面
下载高清视频
观看高清视频
视频下载器
2 命题公式及真值表
6 命题逻辑的演绎推理1
7 命题逻辑的演绎推理2
3 命题公式的等价演算
5 标准合取范式
11 谓词公式的解释和判定
12 谓词公式的等价演算
10 谓词公式和量词的辖域
4 标准析取范式
13 谓词公式的推理演算1
9 个体词量词与谓词
8 命题逻辑的演绎推理3
【数理逻辑】集合论(8):集合上的布尔运算:差与补
【数理逻辑】集合论(9):相对补、罗素悖论、ZF(C)与NF
半群与群
子群
15 谓词公式的推理演算3
14 谓词公式的推理演算2-量词规则
【数理逻辑】集合论(10):广义并与广义交
17 集合及其运算
二元关系的性质
哈密尔顿图
通道相关定理
【康奈尔大学 离散数学 期末复习课】
代数运算
16 谓词公式的推理演算4
OMG超级无敌详细碎碎念版本离散数学第一章作业讲解(主范式&自然推理系统)
点割集边割集
离散数学复习串讲
《化学必刷100讲》!!?
图的概念
图的矩阵-邻接矩阵
拉格朗日定理及推论
【精翻·中文语音版】MIT 6.042J《计算机科学中的数学》(2015)
3.4等价关系
【作文素材周报】温度时事147期:爱国
18 序偶和二元关系
欧拉图
通路、迹和路
20世纪唯一的哲学天才,5个字终结所有哲学问题!