1. 程序书写 2. 字符集及标识符 3. 数据类型 4. 声明的有关事项 5. 算数表达式 6. 表控输入/输出语句

2.1 基本PR0L0G 2.2 Turbo PR0L0G程序设计

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

第七章编码 7.1程序设计语言 7.2程序设计风格 7.3编码工具

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

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

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

《数字电子技术》 《数值分析》 《学科概论》 《程序设计语言 C/C++》 《离散数学》 《数据结构》 《汇编语言程序设计》 《操作系统原理》 《计算机组成原理》 《数据通信原理》 《计算机网络原理》 《网络互连技术》 《数据库系统原理》 《交换原理与技术》 《计算机接口技术》 《面向对象程序设计 Java》 《计算机网络安全技术》 《网络管理》 《接入网技术》 《Web 编程与设计》 《计算机网络系统分析》 《网络工程师概论》 《Linux 操作系统》 《嵌入式系统基础》 《移动应用开发技术》 《云计算概论》 《计算机多媒体技术》 《物联网技术与应用》 《TCP/IP 协议》 《计算机局域网》 《无线通信技术》 《无线传感网技术》 《网站架构与电子商务》 《计算机组网技术》 《网络综合布线技术》 《信息工程管理》 《项目管理》 《数据仓库与数据挖掘》 《电子商务概论》 《科技文献检索》

第一章VHDL的程序结构和软件操作 1-1 VHDL程序的基本结构 1-2软件操作—Max+plusⅡ的操作 第二章 VHDL语言要素 第三章 VHDL顺序语句 第四章 VHDL并行语句 4.1 并行语句概述 4.2 并行信号赋值语句 4.3 进程语句（process） 4.4 元件例化语句 4.5 生成语句（for-generate） 第五章 组合逻辑电路的设计和分析 5.1 概述 5.2 编码器 5.3 译码器 5.4 简单数字显示系统 5.5 其它 第六章 时序逻辑电路的设计和分析 6.2 触发器 6.3 计数器 6.4 分频器 6.5 寄存器 6.1 概述

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