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

文档格式：PDF　文档大小：305.86KB　文档页数：7

系统设计：芯片的功能、尺寸、外部接口、性能、速度、成本等；功能设计：系统功能块分割、功能框图信号流程图、状态转换图等逻辑设计：各功能块的逻辑表达、逻辑电路图等功能仿真：不考虑电路连线延时

文档格式：PPT　文档大小：534.5KB　文档页数：30

关系表达式逻辑表达式 If 语句 Switch语句

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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