天津理工大学：《离散数学》课程教学资源（PPT课件）第二章 谓词逻辑 Predicate Logic 2.1 谓词的概念与表示（Predicate and Its Expression）
文件格式: PPTX大小: 413.79KB页数: 8
3.3 集合中元素的计数 集合的基数与有穷集合 包含排斥原理 有穷集的计数 4.1 集合的笛卡儿积和二元关系 有序对 笛卡儿积及其性质 二元关系的定义 二元关系的表示
文件格式: PPTX大小: 460.23KB页数: 38
天津理工大学：《离散数学》课程教学资源（PPT课件）第三章 集合论（集合的基本概念和运算）3.1 集合的基本概念 3.2 集合的基本运算
文件格式: PPTX大小: 1.38MB页数: 96
1.6.1常用的证明方法 1.6.2真值表法 (Truth Table) 1.6.3直接证法 (Direct Proof) 1.6.4 间接证法 (Indirect Proof)
文件格式: PPTX大小: 341.42KB页数: 22
1 对偶式与对偶原理 2 命题公式的析(合)取范式 3 命题公式的主析(合)取范式
文件格式: PPTX大小: 358.37KB页数: 42
天津理工大学：《离散数学》课程教学资源（PPT课件）第一章 命题逻辑 Propositional Logic 1.4 真值表与等价公式
文件格式: PPTX大小: 243.02KB页数: 12
天津理工大学：《离散数学》课程教学资源（PPT课件）第一章 命题逻辑 Propositional Logic 1.4 其它联结词 Other Connectives（2/2）
文件格式: PPTX大小: 118.23KB页数: 9
天津理工大学：《离散数学》课程教学资源（PPT课件）第一章 命题逻辑 Propositional Logic 1.4 其它联结词 Other Connectives（1/2）
文件格式: PPTX大小: 306.92KB页数: 9
天津理工大学：《离散数学》课程教学资源（PPT课件）第一章 命题逻辑 Propositional Logic 1.3 等值演算
文件格式: PPTX大小: 441.1KB页数: 19