天津理工大学:《离散数学》课程教学资源(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
《分析化学》课程教学课件(PPT讲稿)实验8 碘和硫代硫酸钠标准溶液的配制和标定
文件格式: PPTX大小: 1.42MB页数: 15
《分析化学》课程教学课件(PPT讲稿)实验6 高锰酸钾标准溶液的配制和标定
文件格式: PPTX大小: 1.19MB页数: 12










