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

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

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

文档格式：PDF　文档大小：167.05KB　文档页数：3

合肥工业大学：《数字电子技术基础》课程教学资源（课件讲稿）第二章逻辑代数基础（基本公式、常用公式、基本定理）

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

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

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

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

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

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

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

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

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

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

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

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

文档格式：PPT　文档大小：235.5KB　文档页数：46

2.1 线性表逻辑结构； 2.2 线性表的顺序存储及运算实现； 2.3 线性表的链式存储和实现

文档格式：PPT　文档大小：3.86MB　文档页数：112

本章主要阐述的是Windows 2000 Server中活动目录的功能、逻辑结构和物理结构