天津理工大学文库下载_中国高校课件下载中心

文档格式：PPTX　文档大小：185.97KB　文档页数：5

天津理工大学：《离散数学》课程教学资源（PPT课件）第二章谓词逻辑 Predicate Logic 2.3 一阶逻辑合式公式及解释

文档格式：PPTX　文档大小：333.03KB　文档页数：22

天津理工大学：《离散数学》课程教学资源（PPT课件）第二章谓词逻辑 Predicate Logic 2.2 命题函数与量词（Propositional functions & Quantifiers）

文档格式：PPTX　文档大小：413.79KB　文档页数：8

天津理工大学：《离散数学》课程教学资源（PPT课件）第二章谓词逻辑 Predicate Logic 2.1 谓词的概念与表示（Predicate and Its Expression）

文档格式：PPTX　文档大小：341.42KB　文档页数：22

1.6.1常用的证明方法 1.6.2真值表法 (Truth Table) 1.6.3直接证法 (Direct Proof) 1.6.4 间接证法 (Indirect Proof)

文档格式：PPTX　文档大小：358.37KB　文档页数：42

1 对偶式与对偶原理 2 命题公式的析(合)取范式 3 命题公式的主析(合)取范式

文档格式：PPTX　文档大小：243.02KB　文档页数：12

天津理工大学：《离散数学》课程教学资源（PPT课件）第一章命题逻辑 Propositional Logic 1.4 真值表与等价公式

文档格式：PPTX　文档大小：441.1KB　文档页数：19

天津理工大学：《离散数学》课程教学资源（PPT课件）第一章命题逻辑 Propositional Logic 1.3 等值演算

文档格式：PDF　文档大小：240.06KB　文档页数：14

基尔霍夫定律和电位的测定叠加原理戴维南定理和有源二端口网络的研究

文档格式：PDF　文档大小：234.15KB　文档页数：8

实验一接口实验（一）实验二接口实验（二）实验三接口实验（三）实验四温度控制实验

文档格式：PDF　文档大小：1MB　文档页数：18

实验一模糊工具箱的使用实验二模糊控制器设计