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

文档格式：PDF　文档大小：161.68KB　文档页数：4

中国地质大学（武汉）：《EDA技术基础与实践（Electronic Design Automation）》课程教学资源（实验内容）实验二组合逻辑设计

文档格式：PPT　文档大小：101.5KB　文档页数：8

本章是数理逻辑中的最基本内容，是下一章的基础.本章主要讲述命题与联结词、命题公式、恒真命题、等价式、蕴涵式及范式等基本内容；能将自然语言符号化；能用等价式、蕴涵式等进行命题演算和推理；能用逻辑推理的方法解决一些实际问题

文档格式：PPT　文档大小：1.19MB　文档页数：51

一、逻辑门电路二、数字集成电路的分类三、本章内容

文档格式：PDF　文档大小：289.04KB　文档页数：18

中国地质大学（武汉）：《电工与电子技术》课程教学资源（课件讲稿）门电路逻辑功能测试

文档格式：PDF　文档大小：369.76KB　文档页数：20

西安电子科技大学：《离散数学》课程教学课件（题解）第二章谓词逻辑 2-4 谓词演算的永真公式

文档格式：PDF　文档大小：332.43KB　文档页数：13

西安电子科技大学：《离散数学》课程教学课件（题解）第二章谓词逻辑 2-3 谓词公式的翻译

文档格式：PDF　文档大小：388.14KB　文档页数：16

西安电子科技大学：《离散数学》课程教学课件（题解）第二章谓词逻辑 2-2 谓词公式

文档格式：PDF　文档大小：357.87KB　文档页数：15

西安电子科技大学：《离散数学》课程教学课件（题解）第二章谓词逻辑 2-1 谓词和量词

文档格式：PDF　文档大小：331.03KB　文档页数：13

西安电子科技大学：《离散数学》课程教学课件（题解）第一章命题逻辑 1-6 范式

文档格式：PDF　文档大小：342.45KB　文档页数：19

西安电子科技大学：《离散数学》课程教学课件（题解）第一章命题逻辑 1-5 对偶式