內容簡介
本書是數理邏輯方面的經典教材。書中涵蓋了命題邏輯、不可判定性以及二階邏輯等方面的內容,並且包含了與計算機科學有關的主題,如有限模型。本書特點是:內容可讀性強;組織結構更靈活,授課都是可根據教學需要節選本書的內容:反映了近幾年來理論計算機科學對邏輯學產生的影響;包含較多的示例和習題。本書適合作為數學、哲學、計算機科學以及其他學科需要學習數理邏輯課程的本科生和研究生的教材。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
|