本课程为本专业(独立本科段)的一门专业基础课。课程内容为：命题逻辑和一阶谓词逻辑的基本概念和基本演算；集合的概念和运算、二元关系和函数；代数运算和代数系统的基本性质、半群和群、队和域、格和布尔代数；图的基本概念、树、欧拉图和哈密顿图、平面图、图着色、赋权图、二部图等。 通过本课程的学习，使应...
对数字电路设计中的重要环节--逻辑函数式的处理进行了解析。分逻辑函数式的化简、检查、变换3个方面作了详细探讨，且对每个方面给出了相应的见解，即对逻辑函数式的化简方面提出宜采用先卡诺图法再代数法的综合法；对逻辑函数式的检查方面指出了观察互补出现的因子并检验在特殊条件下是否存在该因子的&ldqu...
CRC校验采用多项式编码方法。多项式乘除法运算过程与普通代数多项式的乘除法相同。多项式的加减法运算以2为模，加减时不进，错位，如同逻辑异或运算。...
视觉基础 2.1 人眼与亮度视觉 2.2 颜色视觉 成像基础 2.3 成像模型与成像变换 2.4 图像数字化 图像基础 2.5 图像像素间关系 2.6 算术和逻辑运算 2.7 坐标变换 2.8 图像代数...
第1章 用于可靠数字传输和存储的编码 第2章 代数引论 第3章 线性分组码 第4章 重要的线性分组吗 第5章 循环码 第6章 二进制BCH码 第7章 非二进制BCH码、RS码及其译码算法 第8章 大数逻辑可译码有限几何码 第9章 线性分组码的网络 第10章 基于可靠性的线性分组码软...
