点击切换搜索课件文库搜索结果(702)
文档格式:PPT 文档大小:76.5KB 文档页数:32
令牌总线: 物理上为总线结构,利用802.3广播电缆的可靠性 逻辑上为环网:所有的站点组成一个环,每个站点 按序分配一个逻辑地址。每个站点都知道在它前面 和后面的站地址,最后一个站点后面相邻的站点是 第一个站点
文档格式:PDF 文档大小:13.8MB 文档页数:100
第一节 双稳态触发器 一、RS 触发器 三、D 触发器 二、JK 触发器 四、T 触发器 第二节 时序逻辑电路 一、数码寄存器 二、移位寄存器 三、二进制计数器 四、十进制计数器 第三节 脉冲的产生与整形 第四节 555定时器及其应用
文档格式:PPT 文档大小:38KB 文档页数:4
第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念
文档格式:PPT 文档大小:1.49MB 文档页数:43
在牛顿以前很久,已经有一些有胆识的 思想家认为,从简单的物理假说出发,通 过纯逻辑的演绎,应当有可能对感官所能 氨画知觉的现象作出令人信服的解释。但是 是牛顿才第一个成功地找到一个用公式清 楚表述的基础,从这个基础出发,他能用 数学的思维,逻辑地、定量地演绎出范围
文档格式:DOC 文档大小:37.5KB 文档页数:3
第一章参考答案 一、名词解释(略) 二、填空题 1、数据表示数据处理 2、机内表示 3、逻辑结构逻辑结构上的基本运算存储结构和运算评价和选择
文档格式:DOC 文档大小:48.5KB 文档页数:7
本文认为,在现代社会里,虚拟经济通过虚拟资本与网络技术的作用,使得 物质资本、人力资本和科技产品呈现出定价方式预期化、表达方式符号化,运作方式数字化 实现方式未来化的特征;使得企业组织形式、商品和货币交易市场、社会价值关系和经济效 应法则出现非实体化无形化的虚拟化趋势和非传统化的变革这便大大地改变了物质资本、 劳动(力)技术等主要经济增长要素对实际经济增长的作用逻辑和作用力度
文档格式:PPT 文档大小:392KB 文档页数:63
◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论
文档格式:PPT 文档大小:579KB 文档页数:66
1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论
文档格式:DOC 文档大小:158.5KB 文档页数:61
简单推理与直接推断型 这类题型的具体形式是:以题干为前提,要求在选项中确定合乎逻辑的结论;或者, 从题干出发,不可能推出什么样的结论。 对一个逻辑推理,不管是简单还是复杂,都要明确推理形式的有效性。推理形式的 有效性亦称“保真性”,指一个正确有效的推理必须确保从真的前提推出真的结论。尽 管从假的前提出发也能进行合乎逻辑的推理,其结论可能是真的,也可能是假的,但从 真前提出发进行有效推理,却只能得到真结论,不会得到假结论。只有这样,才能保证 使用这种推理工具的安全性。这种保真性是对于正确推理是最起码的要求
文档格式:PPT 文档大小:685KB 文档页数:96
第六章 Verilog的数据类型及逻辑系统 • 学习Verilog逻辑值系统 • 学习Verilog中不同类的数据类型 • 理解每种数据类型的用途及用法 • 数据类型说明的语法 第7章 结构描述(structural modeling) • 如何使用Verilog的基本单元(primitives) • 如何构造层次化设计 • 了解Verilog的逻辑强度系统 第8章 延时模型 学习内容: 1. 如何说明块延时 2. 如何说明分布延时 3. 如何说明路径延时 4. 怎样在模块中说明时序检查 5. 标准延时格式SDF(Standard Delay Format) 第九章 编译控制的使用 • 开发商提供的Verilog库 • 用Verilog库仿真 • Verilog源代码加密 • 其它仿真器相关的问题
首页上页5859606162636465下页末页
热门关键字
搜索一下,找到相关课件或文库资源 702 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有