本课程为本专业(独立本科段)的一门专业基础课。课程内容为:命题逻辑和一阶谓词逻辑的基本概念和基本演算;集合的概念和运算、二元关系和函数;代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数;图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。 通过本课程的学习,使应考者有抽象思维和逻辑推理能力,掌握计算机科学技术常用的离散数学中的概念、性质和运算。 自学教材:<<离散数学>>(全国考委组编) 左孝凌 主编 经济科学出版社 参考用书 :<<离散数学>> 左孝凌等编 上海科技出版社 1982
上传时间: 2017-05-21
上传用户:lhw888
对数字电路设计中的重要环节--逻辑函数式的处理进行了解析。分逻辑函数式的化简、检查、变换3个方面作了详细探讨,且对每个方面给出了相应的见解,即对逻辑函数式的化简方面提出宜采用先卡诺图法再代数法的综合法;对逻辑函数式的检查方面指出了观察互补出现的因子并检验在特殊条件下是否存在该因子的“互补相与”和“互补相或”的核心要点;对逻辑函数式的变换方面则提出了一种具有普适性的二次取非变换法。同时,对这些见解还给出了相应的例证。
上传时间: 2013-10-18
上传用户:一天睡三次
CRC校验采用多项式编码方法。多项式乘除法运算过程与普通代数多项式的乘除法相同。多项式的加减法运算以2为模,加减时不进,错位,如同逻辑异或运算。
上传时间: 2015-03-17
上传用户:梧桐
视觉基础 2.1 人眼与亮度视觉 2.2 颜色视觉 成像基础 2.3 成像模型与成像变换 2.4 图像数字化 图像基础 2.5 图像像素间关系 2.6 算术和逻辑运算 2.7 坐标变换 2.8 图像代数
上传时间: 2014-08-13
上传用户:frank1234
第1章 用于可靠数字传输和存储的编码 第2章 代数引论 第3章 线性分组码 第4章 重要的线性分组吗 第5章 循环码 第6章 二进制BCH码 第7章 非二进制BCH码、RS码及其译码算法 第8章 大数逻辑可译码有限几何码 第9章 线性分组码的网络 第10章 基于可靠性的线性分组码软判决译码算法 第11章 卷积码 第12章 卷积码的最优译码 第13章 卷积码的次优译码 第14章 基于网络的软判决译码算法 第15章 级联编码、码分解与多阶段译码 第16章 Turbo编码 第17章 低密度单奇偶校验码 第18章 网络编码调制 第19章 分组编码调制 第20章 纠突发错误码 第21章 纠突发错误卷积码 第22章 自动请求重传(ARQ)策略 附录A 伽罗华域的表 附录B GF(2m)中元素的最小多项式 附录C 长度至2 10-1的二进制本原BCH码的生成多项式 9.6 卷积码
上传时间: 2014-01-10
上传用户:fnhhs
数字逻辑基础教程 PDF版
上传时间: 2013-04-15
上传用户:eeworm
可编程序逻辑控制器第六讲
上传时间: 2013-06-30
上传用户:eeworm
ALTERA可编程逻辑器件及其应用
上传时间: 2013-04-15
上传用户:eeworm
VHDL硬件描述语言与数字逻辑电路设计
上传时间: 2013-05-19
上传用户:eeworm
晶体管-晶体管逻辑电路
上传时间: 2013-07-12
上传用户:eeworm