多线程是Java程序设计语言的一个亮点，它使用户可以很方便地 编写多线程程序，虽然编写多线程代码需要考虑诸如安全、死锁、 资源共享的问题，但是总体上讲Java在编写多线程程序上比其他 语言都要简洁

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

• 递归函数和不动点算子，以及PCF语言的编程实例 • 基于完全偏序集合的，带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推理的证明方法

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

Java小应用程序（Java Applet）也叫小应用 程序，是使用Java语言编写的一段代码，它 嵌入到HTML文档中，通过网络传输并运行 在浏览器环境下。它的执行方式与一般应 用程序不同，生命周期也较为复杂。本章 将介绍Applet程序的编写、运行及其主要方 法

5.1 结构体的概念 5.2 结构体变量的定义、初始化和引用 5.3 结构体数组 5.4 指向结构体的指针 5.5 公用体 5.6 枚举 5.7 typedef 的使用

4.1 函数的定义、说明与调用 4.2 变量的存储类、作用域和存在性，内部和外部函数 4.3 编译预处理 4.4 递归函数 4.5 指针与函数的参数传递 4.6 指向函数的指针 4.7 返回指针的函数 4.8 命令行参数

本章内容： 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式； 7.1 中间语言 7.2 说明语句 7.3 赋值语句 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理 7.7 类型检查

3.1 一维数组的定义和引用 3.2 二维数组的定义和引用 3.3 字符数组和字符串 3.4 指针的概念 3.5 指针变量的定义和引用 3.6 指针和数组的关系 3.7 指针和字符串 3.8 指针数组和指向指针的指针

一、基本操作 1、开机进入WINDOWS XP 2、开始—程序—附件，选“命令提示符” 3、显示出命令提示符窗口后,进入Ｄ盘的FOR51子目录(文件夹)