计算机科学逻辑
(从 计算机科学:逻辑 重定向)
 |
一位维基教科书员建议将计算机科学家逻辑 合并到本书中。 在 讨论页面 上讨论是否应该进行此合并。 |
本书讨论了逻辑作为计算机科学工具；一个在各个层次都使用逻辑的领域。它提供了一个关于数学逻辑及其各种应用的调查。它尤其重要的领域包括
- 数字电路设计
- 复杂性理论 (NP 等价于存在性二阶逻辑)
- 数据库系统 (SQL；大致上谓词/一阶逻辑)
- 计算机辅助验证 (时序逻辑 & 模型检验)
- 编程语言 (lambda 演算)
- AI、专家系统、推理引擎
- 分布式系统
- 逻辑编程
- 计算机安全
在涵盖命题逻辑和一阶逻辑的基础知识之后，本课程介绍了有限模型论和描述性复杂性的基础。其他主题，包括逻辑编程、非单调推理、时序逻辑以及关于知识和信念的推理，将在时间允许的情况下进行调查。这些笔记是由学生抄写员记录的。
|
您可能还会发现以下参考文献很有用
- 数学逻辑。H.-D. 埃宾豪斯、J. 弗鲁姆和 W. 托马斯
- 数据库基础。阿比特博尔、霍尔、维亚努。可在此处获取：http://www-cse.ucsd.edu/users/vianu/BOOK/book.html
- 计算复杂性。克里斯托斯·H·帕帕迪米特里乌。
- 有限模型论要素。莱昂尼德·利布金。
- 有限模型论及其应用。格雷德尔、科莱蒂斯、利布金、马克思、斯宾塞、瓦尔迪、韦内马、温斯坦
- 哥德尔证明。欧内斯特·奈格尔和詹姆斯·R·纽曼
- 语言、证明和逻辑。约翰·巴维斯和约翰·埃赫特曼迪
- 数学逻辑概况。霍华德·德龙