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

2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑

4.1 规范化问题的提出 4.2 函数依赖 4.3 范式

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

5.1 问题的提出 5.2 规范化 5.3 数据依赖的公理系统 5.4 模式的分解 5.5 小结

5.1 问题的提出 5.2 规范化 5.3 数据依赖的公理系统 5.4 模式的分解 5.5 小结

一、了解软件工程的基本概念 二、掌握软件工程的基本理论、技术和方法，运用于软件的开发和生产

南京大学：《组合数学》课程教学资源（课堂讲义）Ramsey理论 Ramsey theory

• 概述 • 检索语言 • 检索工具 • 文献信息检索的方法和途径

一、ELGamal公钥密码的基本情况 二、 ELGamal公钥密码 三、椭圆曲线密码 四、公钥密码的理论模型