計算機科學邏輯
(從 計算機科學:邏輯 重定向)
 |
一位華夏公益教科書員建議將計算機科學家邏輯 合併到本書中。 在 討論頁面 上討論是否應該進行此合併。 |
本書討論了邏輯作為計算機科學工具；一個在各個層次都使用邏輯的領域。它提供了一個關於數學邏輯及其各種應用的調查。它尤其重要的領域包括
- 數位電路設計
- 複雜性理論 (NP 等價於存在性二階邏輯)
- 資料庫系統 (SQL；大致上謂詞/一階邏輯)
- 計算機輔助驗證 (時序邏輯 & 模型檢驗)
- 程式語言 (lambda 演算)
- AI、專家系統、推理引擎
- 分散式系統
- 邏輯程式設計
- 計算機安全
在涵蓋命題邏輯和一階邏輯的基礎知識之後，本課程介紹了有限模型論和描述性複雜性的基礎。其他主題，包括邏輯程式設計、非單調推理、時序邏輯以及關於知識和信念的推理，將在時間允許的情況下進行調查。這些筆記是由學生抄寫員記錄的。
|
您可能還會發現以下參考文獻很有用
- 數學邏輯。H.-D. 埃賓豪斯、J. 弗魯姆和 W. 托馬斯
- 資料庫基礎。阿位元博爾、霍爾、維亞努。可在此處獲取：http://www-cse.ucsd.edu/users/vianu/BOOK/book.html
- 計算複雜性。克里斯托斯·H·帕帕迪米特里烏。
- 有限模型論要素。萊昂尼德·利布金。
- 有限模型論及其應用。格雷德爾、科萊蒂斯、利布金、馬克思、斯賓塞、瓦爾迪、韋內馬、溫斯坦
- 哥德爾證明。歐內斯特·奈格爾和詹姆斯·R·紐曼
- 語言、證明和邏輯。約翰·巴維斯和約翰·埃赫特曼迪
- 數學邏輯概況。霍華德·德龍