中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章 引言

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

黑龙江八一农垦大学：《计算机辅助设计》理论课程各章电子教案

西安交通大学：智能控制概论-智能控制理论与方法_无监督学习神经元网络

西安交通大学：智能控制概论-智能控制理论与方法_遗传算法（GA）

西安交通大学：智能控制概论-智能控制理论与方法_智能控制概论

西安交通大学：智能控制概论-智能控制理论与方法_模糊控制的基本原理和方法