中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章 类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第4章 抽象解释（Nielson等）Principles of Program Analysis - Abstract Interpretation

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章 基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章 数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis

• 一个简单的代码生成算法 • 涉及存储管理，指令选择，寄存器分配和计算次序选择等基本问题

中国科学技术大学：《计算机科学导论》课程教学资源（PPT课件讲稿）第一讲 代数等式理论的自动定理证明

一、基本概念(总线、堆栈等) 二、Intel 8086微处理器的结构 三、 Intel 8088微处理器的结构

❑ 文本输入设备 ❑ 图像输入设备 ❑ 三维图形输入设备 ❑ 指点输入设备等

我们用计算机解决问题，都是利用某种软件。如我们使用 Word 编辑文 件，用 Excel 处理电子表格，用 IE 浏览网络资源，用 QQ 上网聊天等。这 些软件都是按照一定算法编制的计算机程序。而算法是为解决一个问题而采 取的方法和步骤。 从广义的角度说，算法早就融入我们的生活中。比如，早上上学，就 开始了上学的算法：走哪条路，坐什么车，如果堵车怎么办等等，一直到到 达学校，这个算法就完成了

• 集合及其表示 • 并查集与等价类 • 字典 • 散列