本课程的范围是：第 2, 3, 4, 5, 章为主体， 第二章 2.3节不讲 第五章 5.6节不讲 第四章 4.3.3节和4.8节不讲 第六章6.2.4节和6.2.5节不讲 第七章,第八章不讲

提出一种互为Hilbert变换对的小波代数构造方法.这种互为Hilbert变换对的小波基的构造是从构造小波的充要条件入手,利用延迟滤波器的思想,把问题化为代数方程组求解.该方法可以避免进行谱分解.经实验证实:由基于本文构造的小波对的对偶树复小波变换可以得到比离散小波变换更好的特征提取效果

10.1逻辑代数基本概念、公式和定理 10.2逻辑函数的化简方法 10.3逻辑函数的表示方法及其相互之间的转换

 关系模型 ◦ 关系数据结构 ◦ 关系操作 ◦ 关系的完整性约束  关系代数 ◦ 集合计算 ◦ 关系运算  关系演算 ◦ 元组关系演算语言ALPHA ◦ 域关系演算语言QBE

拓扑与线性空间、代数等概念一样，是一种数学结构。它与线性空间是研 究代数运算下形成的结构不同，是研究“连续体”在“连续变化”下不变的性 质，这样，极限概念就是不可缺少的

一、分治策略 二、分治法示例 二分检索 求两个非降序列合并后的中位数 统计逆序对 三、降低递归算法复杂性的途径  代数变换减少子问题个数  预处理减少递归的操作 四、分治法的时间代价分析 五、各类算法比较

1.了解正逻辑与负逻辑规定,掌握逻辑运算中的三种基本运算:与、或、非运算。 2.掌握常用的逻辑函数表示方法及它们之间相互转换。 3.掌握逻辑代数的定律和运算规律。 4.掌握逻辑函数的代数法化简和卡诺图化简法

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

第六节 逻辑函数的卡诺图化简法 逻辑函数的化简有公式法和图形法等。公式法是利用逻辑代数的公式、定理和规则来对逻辑函数化简，这种方法适用于各种复杂的逻辑函数，但需要熟练地运用公式和定理，且具有一定的运算技巧。图形法就是利用函数的卡诺图来对逻辑函数化简，这种方法简单直观，容易掌握，但变量太多时卡诺图太复杂，图形法已不适用。在对逻辑函数化简时，充分利用随意项可以得到十分简单的结果

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论