計算機科學邏輯
(重定向自 邏輯)
 |
一位華夏公益教科書使用者建議將計算機科學家邏輯合併到本書中。 請在討論頁面上討論是否應該進行此合併。 |
本書討論邏輯作為計算機科學的工具；一個在所有層次上都使用邏輯的領域。它提供了對數理邏輯及其各種應用的概述。它特別重要的領域包括
- 數位電路設計
- 複雜性理論 (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·紐曼
- 語言、證明和邏輯。約翰·巴威斯和約翰·埃克特門迪
- 數理邏輯概覽。霍華德·德隆