普通逻辑学文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：1.96MB　文档页数：14

西安石油大学：《电子技术基础（数字）Fundamentals of Electronic Technique（Digital Logic Circuits）》课程教学资源（电子教案，打印版）逻辑代数基础

文档格式：PDF　文档大小：1.11MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第四章谓词逻辑的基本概念

文档格式：PPT　文档大小：281.5KB　文档页数：78

上海交通大学：《离散数学》课程教学资源（PPT课件）第二章命题逻辑的等值和推理演算

文档格式：PDF　文档大小：5.82MB　文档页数：327

上海交通大学：《离散数学》课程教学资源（讲义）第二章题逻辑的等值与推理演算

文档格式：PDF　文档大小：4.32MB　文档页数：230

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

文档格式：PDF　文档大小：1.36MB　文档页数：137

上海交通大学：《离散数学》课程教学资源（讲义）第五章谓词逻辑的等值和推理演算

文档格式：PDF　文档大小：3.36MB　文档页数：198

上海交通大学：《离散数学》课程教学资源（讲义）第一章命题逻辑的基本概念

文档格式：PPTX　文档大小：153.9KB　文档页数：23

引言直接证明反证法分情形证明等价性证明存在性证明唯一性证明寻找反例数学与猜想

文档格式：PPT　文档大小：1.14MB　文档页数：83

11.1 双稳态触发器 11.2 寄存器 11.3 计数器 11.4 555定时器 11.6 数模和模数转换

文档格式：PDF　文档大小：506.19KB　文档页数：62

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理