1、 Pentium系列微型计算机的系统板组成 2、显示卡、声卡、视频卡等插卡的简单工作原理 3、软盘、硬盘和 CD-ROM驱动器的类型及其工作原理

现代计算机不再是仅以文字作为处理对象,而 是包括处理图形、图像、视频和音频在内的多媒体 技术( Multimedia)。常言说:一图胜百言。由于 图形和图像更能直观反映事物,引起人们的兴趣, 所以,计算机图形学自诞生至今已得到了迅速的发 展。从企业的统计图、窗口系统、界面设计,到计 算机动画、模拟与仿真以及计算机辅助设计等等, 无不用到计算机图形学的知识。计算机图形学是计 算机学科领域重要的一门学科,是计算机辅助系统、 多媒体技术、虚拟现实等技术的理论基础

学习目的: 利用 Excel2000提供的功能,创建和编辑课程学习、成绩统计 、学籍管理等工作表

• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型

6.1概述 例如:要输入全校学生成绩; 求若干个数之和; 迭代求根、阶乘等

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第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

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