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

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

南京邮电大学：《数字电路与系统设计》课程教学资源（PPT课件讲稿）第四章 组合逻辑电路（3/4）

南京邮电大学：《数字电路与系统设计》课程教学资源（PPT课件讲稿）第四章 组合逻辑电路（2/4）

8.1随机存储器(rAM) 8.2只读存储器(ROM) 8.3可编程器件概述

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

2.1 分支结构 2.2 关系运算和逻辑运算 2.3 循环结构 2.4 break和continue语句 2.6 经典算法举例

5.1 触发器的电路结构与工作原理 5.2 触发器逻辑功能的转换 5.3 触发器的工作特性与参数

第一节 组合电路的分析方法 第二节 组合电路的设计方法 第三节 常用集成组合逻辑电路 第四节 组合逻辑电路的竞争与险象

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