（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

相同之处 （ 1） 都是非数值型的非线性函数的逼近器、估计器、和动态系统； （2） 不需要数学模型进行描述，但都可用 数学工具进行处理； （3）都适合于VLSI、光电器件等硬件实现

(1）非线性 (2）分布处理 (3）学习并行和自适应 (4）数据融合 (5）适用于多变量系统 (6）便于硬件实现

5.1.1 确定的下推自动机 5.1.2 不确定的下推自动机 5.1.3 PDA接收语言的两种方式 5.1.4 广义PDA和单态PDA 5.2 上下文无关文法和范式 5.3 PDA与上下文无关语言

(1） 产生的背景 (a) 更好的映射非线性函数 (b) 模拟人类神经系统,分工合作 (c) 在控制中,克服“时间交叉” (Temporal Crosstalk) 现象

3.1 有限状态自动机 3.2 有限状态自动机接收语言 3.3 DFA接收语言的例子 3.4.1 不确定的有限状态自动机 3.4.2 NFA的确定化 3.5 带ε动作的有限状态自动机 3.6 有限状态自动机的一些变形 3.7 有限状态自动机的存储技术

2.1 例子语言 2.2 文法和语言的关系 语言的定义 文法的定义 文法与语言的关系 2.3 Chomsky对文法、语言分类 2.4文法产生语言 2.5 无用非终结符 2.6 推导树 2.7 空串定理（自学） 2.8 消除左递归 2.10 语言之间的运算及运算封闭性 2.11 正则表达式和正则集

1.1 集合及其运算 1.2 关系 1.3 证明和证明的方法 1.4 图与树 1.5 语言 1.6 常用术语 1.7 形式语言与自动机的发展

竞争学习和Kohonen自组织网络 竞争学习根据输入模式来更新权值，输入单元i与所有输 出单元j 用wij 连接。输入的数目即为输入的维数，输出的 数目即为输入数据要聚类的数目

概述3.1 线性定常连续系统状态方程的解3.2 状态转移矩阵及其计算3.3 线性时变连续系统状态方程的解3.4 线性定常连续系统的离散化3.5 线性定常离散系统状态方程的解3.6 Matlab问题