天津理工大学：《离散数学》课程教学资源（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
天津理工大学：《离散数学》课程教学资源（PPT课件）引言 Discrete Mathematics
文件格式: PPTX大小: 287.2KB页数: 10
命题逻辑的推理理论 ▪ 推理的形式结构 ▪ 判断推理是否正确的方法 ▪ 推理定律与推理规则 ▪ 构造证明法
文件格式: PPTX大小: 221.58KB页数: 18
天津理工大学：《离散数学》课程教学资源（PPT课件）第一章 命题逻辑 Propositional Logic 1.3 命题公式及分类
文件格式: PPTX大小: 253.31KB页数: 5
1 否定联结词(Negation) 2 合取联结词(Conjunction) 3 析取联结词(Disjunction) 4 条件联结词(蕴涵联结词Conditional) 5 双条件联结(等值联结词Biconditional)
文件格式: PPTX大小: 418.18KB页数: 19
天津理工大学：《离散数学》课程教学资源（PPT课件）第一章 命题逻辑 Propositional Logic 1.1 命题及其表示方法
文件格式: PPTX大小: 325.36KB页数: 12
蚌埠医科大学：《离散数学》课程教学大纲 Discrete Mathematics
文件格式: DOCX大小: 23.01KB页数: 3