一、SQL概述 — 认识SQL 二、数据定义 三、管理数据 — 插入表数据 四、思考题 五、SQL查询 — SELECT语句语法格式 六、视图 七、索引

• 使用上下文无关文法引导语言的翻译 – CFG的非终结符号代表了语言的某个构造 – 程序设计语言的构造由更小的构造组合而成 – 一个构造的语义可以由小构造的含义综合而来 • 比如：表达式x + y的类型由x、y的类型和运算符+决定 – 也可以从附近的构造继承而来 • 比如：声明int x中x的类型由它左边的类型表达式决定

本课程主要讲授外贸业务一般知识，包括询价，订货，安排货源，付款条件，运输，保险、索赔、贸易代理等环节的基本知识以及外贸信函的常用表达法，习惯搭配用语等。课程宗旨是使学生了解经贸西班牙语语言特点、有关语法及各种文体，掌握800-1000常用经贸词汇，具备正确理解和翻译经贸信函的能力

JavaScript简介 在网页中插入JavaScript的方法及定义 JavaScript基本语法 JavaScript常用内置对象 JavaScript常用DHTML对象 常见的网页特效

§ 对象接口与对象实现 § OMG IDL的语法与语义 § 使用值类型 § 使用接口库 § 设计对象接口的准则

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生

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

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

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性，不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句