• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

北京大学：《离散数学》离散数学之二《代数结构与组合数学》第22章 组合计数方法 22.5 指数生成函数

合肥工业大学：《数字电子技术基础》课程教学资源（课件讲稿）第二章 逻辑代数基础（逻辑函数的化简方法、具有无关项的逻辑函数及其化简）

【人工智能基础】面向混合数据的代价敏感三支决策边界域分类方法

《运筹学》课程教学资源（PPT课件讲稿）单纯形法的一般描述、各种类型线性规划的处理、迭代过程中可能出现的问题及处理方法

2.1 概述 2.2 三种基本的逻辑运算 2.3 逻辑代数基本与常用公式 2.4 逻辑代数的基本定理 2.5 逻辑函数及其表示方法 2.6 逻辑函数的化简方法

这一章,我们为学习多元函数微积分学 作准备,介绍空间解析几何和向量代数。这 是两部分相互关联的内容。用代数的方法研 究空间图形就是空间解析几何,它是平面解 析几何的推广。向量代数则是研究空间解析 几何的有力工具。这部分内容在自然科学和 工程技术领域中有着十分广泛的应用,同时 也是一种很重要的数学工具

第一章 线性方程组的直接解法 第二章 线性方程组的敏度分析与消去法的舍入误差分析 第三章 最小二乘问题的解法 第四章 线性方程组的古典迭代解法 第五章 共轭梯度法 第六章 非对称特征值问题的计算方法 第七章 对称特征值问题的计算方法

西安电子科技大学：《高等代数》课程PPT教学课件（研讨）第一讲 行列式的计算方法小结

厦门大学数学科学学院：《高等代数》课程教学资源（应用与实验）矩阵应用——投入产出方法选介（矩阵方程）