计算机科学逻辑
 |
一位维基教科书用户建议将计算机科学家逻辑合并到本书中。 请在讨论页面上讨论是否应该进行合并。 |
本书讨论逻辑作为计算机科学的工具；一个在所有级别都使用逻辑的领域。它提供了数学逻辑及其各种应用的概览。它在以下领域尤为重要：
- 数字电路设计
- 复杂性理论（NP 等价于存在性二阶逻辑）
- 数据库系统（SQL；大致相当于谓词/一阶逻辑）
- 计算机辅助验证（时序逻辑和模型检验）
- 编程语言（λ 演算）
- 人工智能、专家系统、推理引擎
- 分布式系统
- 逻辑编程
- 计算机安全
在介绍命题逻辑和一阶逻辑的基础知识后，课程将介绍有限模型论和描述复杂性的基础。其他主题，包括逻辑编程、非单调推理、时序逻辑以及关于知识和信念的推理，将在时间允许的情况下进行介绍。这些笔记由学生笔录员记录。
|
您可能还会发现以下参考资料很有用
- Mathematical Logic. H.-D. Ebbinghaus, J. Flum, and W. Thomas
- Foundations of Databases. Abiteboul, Hull, Vianu. Available here: http://www-cse.ucsd.edu/users/vianu/BOOK/book.html
- Computational Complexity. Christos H. Papadimitrou.
- Elements of Finite Model Theory. Leonid Libkin.
- Finite Model Theory and Its Applications. Grädel, Kolaitis, Libkin, Marx, Spencer, Vardi, Venema, Weinstein
- Gödels Proof. Ernest Nagel and James R. Newman
- Language, Proof, and Logic. John Barwise and John Echtermendy
- A Profile of Mathematical Logic. Howard DeLong