第1节 可靠性定理 第2节 完全性定理 第3节 自然推演系统的可靠性和完全性 第4节 紧致性定理及其应用

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

需求分析 组织结构与功能分析 业务流程分析 数据流程分析 功能/数据分析 新逻辑方案的建立 案例

第一节 套利定价理论的假设和逻辑起点 第二节 套利及套利的发生 第三节 套利定价理论的模型

重点探究什么是遗传物质，遗传物质的性质、特征，以及遗传信息的传递。通过对经典实验的回顾，充分理解上述遗气学基础理论和框架。结合新的研究进展，领会遗传信息传递的规律和复杂性。本章要特别重视对经典实验的逻辑分析，加深对理论的理解。 第一节 遗传信息的载体 第二节 核酸的分子结构 第三节 基因 第二节 DNA的转录 第三节 蛋白质的生物合成

10．1 二元关系 10．2 关系矩阵和关系图 10．3 关系的逆、合成、限制和象 10．4 关系的性质 10．5 关系的闭包 10．6 等价关系和划分 10．7 相容关系和覆盖 10．8 偏序关系

什么是自然语言处理 机器翻译（Machine Translation） 信息抽取的结果 自然语言处理所涉及的学科 基于规则的自然语言处理方法（理性方法，传统方法） 形态还原算法 基于规则的歧义字段消歧方法 句法分析——组成分分析 自底向上句法分析 句法分析与逻辑程序设计 增加句法符号和规则带来的问题 合一文法 语义组合 机器翻译

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

第一章 古算题·逻辑·游戏·竞赛 第二章 几何·图形 第三章 啊哈！灵机一动 第四章 概率·运筹·对策 第五章 幻方 第六章 递推·循环·回归

3.2 80C51的寻址方式 3.3 数据传送类指令（29条） 3.4 算术运算类指令（24条） 3.5 逻辑运算与循环类指令（24条） 3.6 控制转移类指令（17条） 3.7 位操作类指令（17条）