计算机科学中的逻辑应用研究
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 导论 | 第11-20页 |
| ·选题背景 | 第11-12页 |
| ·研究的主要问题及意义 | 第12-14页 |
| ·国内外相关的研究理论 | 第14-18页 |
| ·国外关于逻辑学在计算机中的应用研究 | 第14-16页 |
| ·国内关于逻辑学在计算机中的应用研究 | 第16-18页 |
| ·对国内外逻辑学在计算机中的应用研究的评述 | 第18页 |
| ·研究方法 | 第18-20页 |
| 第1章 计算机电路设计中的逻辑应用 | 第20-27页 |
| ·数理逻辑的起源和发展 | 第20-22页 |
| ·计算机中硬件的逻辑基础 | 第22-23页 |
| ·组合逻辑和时序逻辑 | 第22-23页 |
| ·控制逻辑 | 第23页 |
| ·DNA 逻辑门 | 第23-26页 |
| ·DNA 逻辑门的构造 | 第23-25页 |
| ·DNA 逻辑门研究的最新进展 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第2章 计算机语言中的逻辑应用 | 第27-38页 |
| ·计算机语言产生的逻辑基础 | 第27-29页 |
| ·计算机语言系统是一个逻辑系统 | 第29-31页 |
| ·计算机语言的逻辑性 | 第31-33页 |
| ·计算机语言的计算特征 | 第31页 |
| ·计算机语言的语用逻辑特征 | 第31-33页 |
| ·PROLOG 语言举例 | 第33-36页 |
| ·人工智能语言的诞生 | 第33-34页 |
| ·PROLOG 语言的逻辑基础 | 第34-36页 |
| ·本章小结 | 第36-38页 |
| 第3章 计算机程序中的逻辑应用 | 第38-46页 |
| ·程序正确性的逻辑证明 | 第38-42页 |
| ·弗洛伊德流程图逻辑 | 第38-39页 |
| ·霍尔逻辑 | 第39-40页 |
| ·时态逻辑和动态逻辑 | 第40-41页 |
| ·分离逻辑和指针逻辑 | 第41-42页 |
| ·程序逻辑模型的设想 | 第42-45页 |
| ·西方程序逻辑模型的缺点 | 第42-43页 |
| ·中国最早的程序逻辑模型 | 第43页 |
| ·发展中国程序逻辑模型的重要性 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第4章 计算机智能化革命中的逻辑应用 | 第46-58页 |
| ·智能的起源 | 第46-48页 |
| ·计算机智能化革命中的瓶颈问题 | 第48-53页 |
| ·不确定信息的处理 | 第48-50页 |
| ·不完全信息的处理 | 第50-51页 |
| ·信仰、希望和意图的形式化研究 | 第51-52页 |
| ·人类右脑形象思维的表述 | 第52-53页 |
| ·未来计算机的发展展望 | 第53-56页 |
| ·非冯诺依曼体系结构的设想 | 第53-55页 |
| ·第六代计算机的研究 | 第55-56页 |
| ·本章小结 | 第56-58页 |
| 结论 | 第58-60页 |
| 参考文献 | 第60-64页 |
| 攻读硕士学位期间承担的科研任务与主要成果 | 第64-65页 |
| 致谢 | 第65-67页 |
| 作者简介 | 第67页 |
