计算机离散数学逻辑应用手册_1.docxVIP

计算机离散数学逻辑应用手册

1.第1章基本逻辑概念与命题演算

1.1命题与命题逻辑

1.2命题连接词与逻辑运算

1.3命题逻辑的等价式与推理规则

1.4命题逻辑的证明方法

1.5命题逻辑的真值表

2.第2章命题逻辑的公理系统与推理系统

2.1公理系统与推理规则

2.2集合与谓词逻辑

2.3谓词逻辑的表达与推理

2.4谓词逻辑的等价式与推理规则

2.5谓词逻辑的证明方法

3.第3章逻辑推理与证明技术

3.1逻辑推理的基本方法

3.2证明技术与归纳法

3.3逻辑证明的常见错误与修正

3.4逻辑证明的自动化工具

3.5逻辑推理在计算机科学中的应用

4.第4章逻辑在计算机科学中的应用

4.1逻辑在程序设计中的应用

4.2逻辑在数据结构中的应用

4.3逻辑在计算机网络中的应用

4.4逻辑在操作系统中的应用

4.5逻辑在中的应用

5.第5章逻辑在数据库系统中的应用

5.1逻辑在数据库查询中的应用

5.2逻辑在数据库完整性约束中的应用

5.3逻辑在数据库事务处理中的应用

5.4