点击切换搜索课件文库搜索结果(152)
文档格式:PDF 文档大小:1.73MB 文档页数:50
 掌握组合电路的测试生成  代数法 异或法 布尔差分法  算法D算法 PODEM算法 FAN算法 其他  时序电路的测试生成  可测性方法(不具体要求)
文档格式:PPT 文档大小:172.5KB 文档页数:62
第6章代数系统 6.1代数系统的概念 6.2代数系统的同态和同构 6.3代数系统的积代数 6.4半群与独异点 6.5群与交换群 6.6环与域 6.7格与布尔代数
文档格式:PPT 文档大小:837.5KB 文档页数:40
在数字电路中,我们要研究的是电路的输 入输出之间的逻辑关系,所以数字电路又称逻 辑电路,相应的研究工具是逻辑代数(布尔代 数)。 在逻辑代数中,逻辑函数的变量只能取两 个值(二值变量),即0和1,中间值没有意义, 这里的0和1只表示两个对立的逻辑状态,如电 位的低高(0表示低电位,1表示高电位)、开 关的开合等
文档格式:PPT 文档大小:856.5KB 文档页数:84
– 代数项和它们在多类别代数中的解释 – 等式规范(也叫代数规范)和等式证明系统 – 等式证明系统的可靠性和完备性(公理语义和指称语义的等价) – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则(操作语义)
文档格式:PPT 文档大小:130.5KB 文档页数:15
代数结构的主要研究对象是各种各样的代数系 统,即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构,它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面,因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法,从简单到复杂、从具体到一般
文档格式:PPT 文档大小:124.5KB 文档页数:35
主要内容 7.1概述 7.2关系代数的基本运算 7.3关系代数的附加运算 7.4扩充的关系代数运算 7.5关系演算 7.6关系代数的修改运算 7.7关系代数表达式的优化策略 7.8本章小结
文档格式:PPT 文档大小:566.5KB 文档页数:46
1.逻辑代数的基本概念与基本运算 2.逻辑函数及其表示方法 3.逻辑代数的基本运算的定律、定理和重要规则 4.逻辑代数的简化
文档格式:PPT 文档大小:55KB 文档页数:13
关系代数概述 一、关系是一个属性数目相同的元组的集合。 二、关系代数
文档格式:PDF 文档大小:731.24KB 文档页数:77
第二章逻辑代数基础 2.1概述 2.2逻辑代数中的三种基本运算 2.3逻辑代数的基本公式和常用公式 2.4逻辑代数的基本定理 2.5逻辑函数及其表示方法 2.6逻辑函数的化简方法 2.7具有无关项的逻辑函数及其化简
文档格式:PPT 文档大小:1.48MB 文档页数:39
第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律
首页上页4567891011下页末页
热门关键字
搜索一下,找到相关课件或文库资源 152 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有