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

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

第一节 计算机的发展 第二节 计算机的工作原理与内部信息表达 第三节 计算机系统组成 第四节 计算机语言 第五节 微型计算机系统 第六节 计算机的应用 第七节 计算机病毒及防治

第一单元：初识Python的世界 第二单元：Python基础知识 第三单元：Python字符串输入输出 第四单元：Python的组合数据类型 第五单元：Python程序的流程控制 第六单元：用函数实现代码复用 第七单元：正则表达式 第八单元：面向对象编程 第九单元：文件操作 第十单元：Python异常处理 第十一单元：Python的模块使用与程序打包

1 C++ 语言概述 C++ 的发展 C++ 源程序结构与书写规范 C++ 编译器和集成开发环境 2 C++ 编程基础 C++ 字符集：标识符，关键字 C++ 数据类型与类型转换 变量、常量、符号常量 运算符、运算优先级 语句与表达式 3 简单输入输出

☻数据类型 ☻变量 ☻基本类型变量 ☻数据类型的转换规则 ☻从键盘输入数据的语句格式 ☻运算符和表达式

第一章 概述 第二章 数据类型、运算符与表达式 第三章 最简单的C程序 第四章 逻辑运算和判断选取控制 第五章 循环控制 第六章 数组 第七章 函数

3.1 C的数据类型 3.2 常量与变量 3.3 整型数据 3.4 实型数据 3.5 字符型数据 3.6 变量赋初值

1.1 计算机编程语言 1.2 Java语言发展 1.3 Java程序的开发和运行环境 1.4 能够运行的两类Java程序 1.5 程序中的关键字、标识符和分隔符 1.6 Java语言的基本数据类型和变量定义 1.7 运算符和表达式及语句 1.8 分支和循环语句 1.9 方法定义和使用 1.10 类和对象初步 1.11 数 组 1.12 main方法传递参数

7.1 中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理