– 带依赖类型的演算，包括依赖积与依赖和 – 概要介绍Dependent ML（DML），以此来展示怎样把依赖类型用到实际语言中，这是当前程序设计语言研究的一个课题 – 带广义积与广义和的直谓式演算，以及它们同SML及其相近语言的模块系统的联系

第0章 数据库研究内容与本课程设置 第1章 分布式数据库基本知识 1.1 什么是分布式数据库 1.2 分布式数据库的分类 1.3 分布式数据库的特点 第2章 分布式数据库系统的体系结构 2.1 分布式数据库的模式结构及特点 2.2 分布式数据库系统的体系结构 2.3 分布式数据库管理系统的体系结构

§6.1 基本概念 §6.2 专家系统的一般结构 §6.3 知识的监测与求精 §6.5 知识的组织与管理 §6.6 专家系统的建造与评价 §6.7 专家系统的开发工具 §6.8 新一代专家系统的研究

《中国美术史》 《西方美术史》 《美术作品欣赏》 《艺术概论》 《心理学》 《教师职业技能及训练》 《当代教育学》 《现代教育技术》 《应用文写作》 《素描静物》 《石膏像写生》 《色彩静物写生》 《素描肖像写生》 《素描半身像写生》 《色彩人物写生》 《素描人体写生基础》 《书法 1》 《版画基础》 《油画静物写生》 《书法 2》 《中国画白描临摹》 《陶艺基础》 《中国画基础》 《陶艺造型基础》 《木刻版画基础》 《油画基础》 《中国画传统技法研究》 《中国画技法研究》 《中国画专题课》 《素描人体写生》 《油画人体写生》 《油画专题课》 《木刻版画制作》 《套色木版画制作技巧》 《版画专题课》 《陶艺技法研究》 《陶艺制作》 《陶艺专题课》 《教学教法》 《绘画透视》 《艺用解剖》 《书法基础 1》 《雕塑》 《计算机美术设计 1》 《中国画技法》 《油画》 《计算机美术设计 2》 《书法基础 2》 《陶艺》 《计算机美术设计 3》 《版画》 《摄影》 《民间美术》 《风景写生 1》 《风景写生 2》 《风景写生 3》 《专业考察》 《教育实习》 《主题创作》 《毕业创作（陶艺）》 《毕业创作（中国画）》 《毕业创作（油画）》 《毕业创作（版画）》

第一节 保证精度原则 第二节 控制规模原则

第一节 单元分类 第二节 单元特性定义 第三节 常见单元类型

• 中间代码和用于代码生成的数据结构 • 商用编译器中的代码生成：两个案例研究 • 基本的代码生成技术 • TM：简单的目标机器 • 数据结构引用的代码生成 • TINY语言的代码生成器 • 控制语句和逻辑表达式的代码生成 • 代码优化技术考察 • 过程和函数调用的代码生成 • TINY代码生成器的简单优化

第一节 网格划分原则 划分什么样的网格？ 第二节 网格划分方法 怎样划分网格？

3.1 大数据来了！ 3.2 Web 2.0模式下互联网应用环境对关系数据库带来的技术挑战 3.3 大数据核心技术的分析研究 3.4 大数据的技术门派及对比分析 3.5 网页大数据应用实例：网页检索的技术路线 3.6 一个基于倒排索引技术的中文检索应用实例 3.7 NoSQL数据库和SQL数据库在技术上的对比分析 3.8 本章小结

一、定位技术背景(Location-aware technology) 二、定位机制研究（Localization） 三、基于位置的服务(Location based Service):架构与进展