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

文档格式：PPT　文档大小：336.5KB　文档页数：42

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

大连海事大学：《电子线路》第19章时序逻辑电路

文档格式：PPT　文档大小：429.5KB　文档页数：42

19.1时序逻辑电路的概述 19.2寄存器 19.3计数器

北京大学：《离散数学》系列课程之三《数理逻辑》第27章（27.3）一阶谓词演算自然推演系统Ng

文档格式：PDF　文档大小：1.95MB　文档页数：81

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下形式语言:

北京大学：《离散数学》系列课程之一《集合论与图论》第1讲命题逻辑基础

文档格式：PDF　文档大小：648.3KB　文档页数：35

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

东南大学：《离散数学》课程教学资源（PPT课件讲稿）第一部分数理逻辑第1章命题逻辑基本概念

文档格式：PPT　文档大小：1.27MB　文档页数：59

命题与联结词命题及其分类联结词与复合命题命题公式及其赋值

湘潭大学信息工程学院：《数字电子技术基础》课程教学资源（PPT课件讲稿）第八章可编程逻辑器件

文档格式：PPT　文档大小：2.75MB　文档页数：47

8. 1 概述 8.2 现场可编程逻辑阵列（FPLA） 8. 3 可编程阵列逻辑（PAL） 8. 4 通用阵列逻辑（GAL） 8. 5 可擦除的可编成逻辑器件（EPLD） 8. 6 复杂的可编程逻辑器件（CPLD） 8. 7 现场可编程门阵列（FPGA） 8. 8 在系统可编程通用数字开关（ispGDS） 8.9 PLD的编程

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）5.4 时钟边沿触发的触发器 5.5 触发器逻辑功能的分类及逻辑功能的描述

文档格式：PPT　文档大小：582KB　文档页数：22

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）5.4 时钟边沿触发的触发器 5.5 触发器逻辑功能的分类及逻辑功能的描述

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）2.3 逻辑函数及其描述方法 2.6 逻辑函数式形式的变换

文档格式：PPT　文档大小：579KB　文档页数：23

广东海洋大学：《数字电子技术》课程教学资源（PPT课件）2.3 逻辑函数及其描述方法 2.6 逻辑函数式形式的变换

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案19 6．4 同步时序逻辑电路的设计方法 6．5 时序逻辑电路中的竞争-冒险现象

文档格式：DOC　文档大小：34KB　文档页数：2

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案19 6．4 同步时序逻辑电路的设计方法 6．5 时序逻辑电路中的竞争-冒险现象

中南民族大学：《数字电路》课程电子教案（PPT教学课件）第六章时序逻辑电路

文档格式：PDF　文档大小：4.17MB　文档页数：85

6.1概述(时序逻辑电路的特点和分类) 6.2时序逻辑电路的分析方法 6.3若干常用的时序逻辑电路 (寄存器、计数器) 6.4时序逻辑电路的设计方法 6.5时序逻辑电路中的竞争-冒险现象