计算机科学逻辑
(重定向自 逻辑)
 |
一位维基教科书用户建议将计算机科学家逻辑合并到本书中。 请在讨论页面上讨论是否应该进行此合并。 |
本书讨论逻辑作为计算机科学的工具；一个在所有层次上都使用逻辑的领域。它提供了对数理逻辑及其各种应用的概述。它特别重要的领域包括
- 数字电路设计
- 复杂性理论 (NP 等价于存在量二阶逻辑)
- 数据库系统 (SQL；大致相当于谓词/一阶逻辑)
- 计算机辅助验证 (时序逻辑 & 模型检测)
- 编程语言 (lambda 演算)
- AI、专家系统、推理引擎
- 分布式系统
- 逻辑编程
- 计算机安全
在涵盖命题逻辑和一阶逻辑的基本材料之后，课程介绍了有限模型论和描述性复杂性的基础。其他主题，包括逻辑编程、非单调推理、时序逻辑以及关于知识和信念的推理，将在时间允许的情况下进行介绍。这些笔记由学生抄写员整理。
|
您可能还会发现以下参考资料很有用
- 数理逻辑。H.-D. Ebbinghaus、J. Flum 和 W. Thomas
- 数据库基础。Abiteboul、Hull、Vianu。可在此处获取：http://www-cse.ucsd.edu/users/vianu/BOOK/book.html
- 计算复杂性。Christos H. Papadimitrou。
- 有限模型论要素。Leonid Libkin。
- 有限模型论及其应用。Grädel、Kolaitis、Libkin、Marx、Spencer、Vardi、Venema、Weinstein
- 哥德尔证明。恩斯特·纳格尔和詹姆斯·R·纽曼
- 语言、证明和逻辑。约翰·巴威斯和约翰·埃克特门迪
- 数理逻辑概览。霍华德·德隆