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

▪ 数据科学定义 ▪ 数据科学研究目的 ▪ 数据科学发展简史 ▪ 数据科学理论体系 ▪ 数据科学基本流程 ▪ 数据科学人才类型 ▪ 如何继续学习

集成电路的封装方法 双列直插式(DP: Dual In-line- Package) 表面安装封装(SMP: Surface Mounted Package) 球型阵列封装(BGA: Ball Grid Arrag) 芯片尺寸封装(CsP: Chip Scale Package) 晶圆级尺寸封装(LP: Wafer Level CSP) 薄型封装(PtP: Paper Thin Package) 多层薄型封装(Stack PTP) 裸芯片封装(co, Flip chip)

3.1 计算机的基本组成及工作原理 3.2 计算机硬件子系统 3.3 计算机软件子系统 3.4 数据表示 3.5 数据存储 3.6 多媒体技术基础

4.1 操作系统的形成与发展 4.2 操作系统的功能 4.3 操作系统实例 4.4 计算机网络概述 4.5 计算机网络体系结构 4.6 互联网技术

7.1 计算机系统安全威胁 7.2 计算机系统安全概念 7.3 反病毒技术 7.4 反黑客技术 7.5 防火墙技术 7.6 入侵检测技术 7.7 数据加密技术 7.8 安全认证技术 7.9 法律规章与职业道德

4.1 操作系统的形成与发展 4.2 操作系统的功能 4.3 操作系统实例 4.4 计算机网络概述 4.5 计算机网络体系结构 4.6 互联网技术

9.1 计算机学科方法论简介 9.2 计算机学科的定义 9.3 计算机学科方法论 9.4 计算机学科的三个过程 9.5 计算机学科中的核心概念 9.6 计算机学科中的数学方法 9.7 计算机学科中的系统科学方法

6.1 数据库原理及应用 关系数据库 关系数据库语言 常用关系数据库管理系统 数据库应用系统开发工具 数据库设计 数据库的发展 6.2 软件工程 软件开发的复杂性 软件工程的基本原则 软件开发方法 系统分析 系统设计 系统实施 系统运行与维护

分布式路由算法导论 一般类型网络的最短路径路由算法 特殊类型网络的单播算法 特殊类型网络中的多播算法