• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

中国科学技术大学：《离散数学》课程教学资源（PPT课件讲稿）第三部分 代数结构 第七章 代数系统

2.1 数据类型和运算符 2.2 程序控制语句 2.3 矩阵运算 2.4 多项式 2.5 函数与M文件 2.6 数据的可视化

◼ 环的定义与实例 ◼ 特殊的环  交换环  含幺环  无零因子环  整环  域

4.1 数据依赖 4.2 范式 4.3 关系模式的规范化

3.1 SQL概述 3.2 数据定义 3.3 查询 3.4 数据更新 3.5 视图 3.6 数据控制 3.7 嵌入式SQL 3.8 小结

4.1 函数依赖 4.2 关系模式的规范化 4.3 数据依赖公理 4.4 关系模式的分解

2.1 冲激函数及其性质 2.2 系统的冲激响应 2.3 信号的时域分解和卷积积分 2.4 卷积的图解和卷积积分限的确定 2.5 卷积积分的性质 2.6 卷积的数值计算

9.1 关系数据库系统的查询处理 9.2 关系数据库系统的查询优化 9.3 代数优化 9.4 物理优化 9.5 小结

3.1 信息网络的技术特征 3.2 网络信息获取技术 3.3 网络信息推送技术 3.4 数据挖掘技术