計算機科學邏輯
 |
一位華夏公益教科書使用者建議將計算機科學家邏輯合併到本書中。 請在討論頁面上討論是否應該進行合併。 |
本書討論邏輯作為計算機科學的工具；一個在所有級別都使用邏輯的領域。它提供了數學邏輯及其各種應用的概覽。它在以下領域尤為重要：
- 數位電路設計
- 複雜性理論（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