网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(990)
中国科学技术大学:《程序分析与程序验证》课程教学资源(PPT课件讲稿)第7章 程序验证 Program verification
文档格式:PPT 文档大小:306.5KB 文档页数:32
• 程序逻辑:描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍
《数字电路基础》课程教学资源(电子教案)
文档格式:DOC 文档大小:2.14MB 文档页数:11
1、掌握二进制、八进制、十进制、十六进制数的组成及其相互转换,了解常用BCD码; 2、掌握逻辑代数的基本定理和常用公式,并能进行逻辑函数的化简与变换; 3、理解与门、或门、非门、与非门和异或门的逻辑功能,了解 TTL 与非门及其电压传输特性和主要参数,了解 CMOS 门电路的特点,了解三态门的概念
东北大学:《数字逻辑与数字系统》课程教学资源(PPT电子教案,第3版)第1章 数字逻辑基础
文档格式:PPT 文档大小:3.18MB 文档页数:144
本章主要介绍数字电路中常用的几种数制的表示方法及其转换规律,数字系统中常见的几种编码及逻辑代数知识
湖南计算机高等专科学校:《数字电子技术》课程教学资源(PPT课件)第1章 数字电子技术基础
文档格式:PPT 文档大小:1.39MB 文档页数:118
1.1数字电子技术基础 1.2数制与编码 1.3逻辑代数基础 1.4逻辑函数的化简 1.5逻辑函数的表示方法及其相互转换 1.6门电路
中国科学技术大学:《离散数学》课程教学资源(PPT课件讲稿)第一部分 数理逻辑 第一章 命题逻辑(主讲:肖明军)
文档格式:PPT 文档大小:1.56MB 文档页数:87
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
《数字电子技术基础》课程电子教案(PPT教学课件)第5章 时序逻辑电路
文档格式:PPT 文档大小:221KB 文档页数:25
1掌握同步时序电路的一般分析方法 2掌握同步计数器的一般分析方法 3会用反馈归零法、反馈置数法和级联法将集成芯片构成任意进制计数器 4根据功能表会用大、中规模集成芯片构成给定功能的电路 第1、2学时: 时序逻辑电路的分析方法 第3、4学时: 时序逻辑电路的设计方法 第5、6学时: 同步计数器 第7、8学时: 集成同步计数器及其应用 第9、10学时:数据寄存器和移位寄存器
湖南计算机高等专科学校:《数字电子技术》课程教学资源(PPT课件)第2章 组合逻辑电路
文档格式:PPT 文档大小:1.67MB 文档页数:135
2.1组合逻辑电路的分析与设计方法 2.2加法器 2.3数值比较器 2.4编码器 2.5译码器 2.6数据选择器 2.7数据分配器 2.8只读存储器(ROM) 2.9可编程逻辑器件(PLD)
宁夏师范学院:《数字电路》课程教学资源(PPT课件)第二章 逻辑代数基础(2/3)
文档格式:PPT 文档大小:1.3MB 文档页数:44
第四节 逻辑函数及其表示方法 第五节 逻辑函数的公式化简化
宁夏师范学院:《数字电路》课程教学资源(PPT课件)第二章 逻辑代数基础(1/3)
文档格式:PPT 文档大小:1.48MB 文档页数:39
第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律
安徽电气工程职业技术学院:《数字电子技术》课程教学资源(讲义)实验四 组合逻辑电路
文档格式:PDF 文档大小:36.43KB 文档页数:4
一、实验目的 1.学会组合逻辑电路的实验分析及其设计方法。 2.验证半加器、全加器的逻辑功能
首页
上页
51
52
53
54
55
56
57
58
下页
末页
热门关键字
电
中药资源
中枢
五官
内容
电路学
的
带电
大学
城市化
laplace变换
定压]
电机学C
电磁
地铁
地壳
地基加固
德语语言学
大学逻辑
大课
大纲
垂直轴
传热]
病原菌
表达式
变法
保险学
VFP设计
Linux基础和应用
VC程序设计
VC课程设计
VB程学设计
SDH原理
ppt讲解
LotusDomino认证
OS,编译
C语言程序
GIS设计
HTML网页编程
CAD应用
搜索一下,找到相关课件或文库资源
990
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有