| 摘要 | 第1-3页 |
| Abstract | 第3-5页 |
| 导言 | 第5-10页 |
| 一、研究背景 | 第5-6页 |
| 二、研究现状 | 第6-7页 |
| 三、本文主要工作 | 第7-8页 |
| 四、研究意义和价值 | 第8页 |
| 五、研究方法 | 第8-9页 |
| 六、创新和不足 | 第9-10页 |
| 第一章 数理逻辑在计算机科学中的奠基作用 | 第10-15页 |
| 第一节 电子计算机诞生和发展的逻辑基础 | 第10-11页 |
| 第二节 命题逻辑与逻辑代数在计算机电路设计中的应用 | 第11-15页 |
| 第二章 谓词逻辑在关系数据库中的应用 | 第15-22页 |
| 第一节 关系数据库简介 | 第15-19页 |
| 第二节 关系演算 | 第19-22页 |
| 第三章 逻辑在人工智能中的应用 | 第22-44页 |
| 第一节 谓词逻辑与知识表示 | 第22-31页 |
| 第二节 谓词逻辑与知识推理 | 第31-40页 |
| 第三节 逻辑型语言——Prolg | 第40-44页 |
| 第四章 科学方法论的分析 | 第44-49页 |
| 第一节 形式化方法及其优点和局限性 | 第45-47页 |
| 第二节 确定性推理方法及其缺陷 | 第47页 |
| 第三节 不确定性推理方法 | 第47-49页 |
| 结语 | 第49-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-54页 |