计算机科学家逻辑/前言

这都是关于计算机科学和计算机技术

前言

本逻辑课程面向计算机科学家，假设几乎没有先前的知识，除了某些基本的数学概念，如关系和排序。这里介绍的材料当然可以打印出来用作普通的教科书。然而，应该指出，这不是作者的意图；目标是创建一个电子交互式脚本，让逻辑可以通过交互和实验来体验。对传统教科书形式感兴趣的读者可以参考以下资料：

• Uwe Schöning: Logik für Informatiker. BI-Wissenschaftsverlag, Mannheim, 1987. 这本书的命题逻辑章节是基于本书的处理方式。一些定义和证明与Schöning的定义和证明相同。
• Chin-Liang Chang; Richard Char-Tung Lee: 符号逻辑与机械定理证明。Academic Press，伦敦，1973。谓词逻辑章节基于这本关于机械定理证明的标准教科书。
• Melvin Fitting: 一阶逻辑与自动定理证明。Springer-Verlag，柏林，海德堡，纽约，1990。这是一本面向现代计算机科学的分析图表的处理方式，它启发了本课程关于图表的章节。

更多参考文献将在每个章节的末尾给出。

回到计算机科学家逻辑