天津理工大学：《离散数学》课程教学资源（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
蚌埠医科大学：《离散数学》课程教学资源（教案）第4章 二元关系和函数 4.4、4.5
文件格式: DOCX大小: 15.92KB页数: 1
蚌埠医科大学：《离散数学》课程教学资源（教案）第4章 二元关系和函数 4.1、4.2、4.3
文件格式: DOCX大小: 16.17KB页数: 2
蚌埠医科大学：《离散数学》课程教学资源（教案）第3章 集合的基本概念和运算 3.4、4.1
文件格式: DOCX大小: 17.33KB页数: 2
蚌埠医科大学：《离散数学》课程教学资源（教案）第3章 集合的基本概念和运算 3.1、3.2、3.3
文件格式: DOCX大小: 17.46KB页数: 2