形式语言概述 文法推断 句法分析 自动机理论 误差校正句法分析

7.1 不确定性及其类型 7.2 不确定性知识的表示 7.3 不确定性推理的一般模式 7.4 确定性理论（可信度方法） 7.5 证据理论、7.6 模糊理论

二十世纪九十年代初,关系数据库的理论已 经成熟,各大公司竞相推出 RDBMS产品。 但遇到一系列技术问题:

6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结

北京理工大学：《鲁棒控制》课程教学资源（讲义）Chapter 04 Hankel范数模型逼近理论

2.1引言 2.1.1视觉是信息处理问题 2.1.2视觉系统的表象 2.2初始简图 2.2.1未处理的初始简图 2.2.1.1亮度变化的检测与最优滤波器

一、随机存取机RAM的构造

2.1 教学软件设计理论 2.2 个别指导型软件设计 2.3 操练和练习型软件设计 2.4 网络教学软件设计

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

中国科学技术大学：《数据结构与数据库》课程教学课件（PPT讲稿）第四章 关系数据库设计理论