計算機科學家邏輯/前言

這都是關於計算機科學和計算機技術

前言

本邏輯課程面向計算機科學家，假設幾乎沒有先前的知識，除了某些基本的數學概念，如關係和排序。這裡介紹的材料當然可以打印出來用作普通的教科書。然而，應該指出，這不是作者的意圖；目標是建立一個電子互動式指令碼，讓邏輯可以透過互動和實驗來體驗。對傳統教科書形式感興趣的讀者可以參考以下資料：

• 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。這是一本面向現代計算機科學的分析圖表的處理方式，它啟發了本課程關於圖表的章節。

更多參考文獻將在每個章節的末尾給出。

回到計算機科學家邏輯