本書是一本經典的邏輯教科書，第四版已經過全麵修訂，提高瞭可讀性。全書主要論述瞭可計算性理論、基礎元邏輯及一些高級專題。此書同樣適用於沒有數學背景知識的學生，不僅包括瞭中等深度的邏輯教程所討論的基本專題，如哥德爾不完全性定理等，而且涉及瞭從圖靈的可計算性理論到Ramsey定理的大量選題，因而已成為一本經典的教科書。該書在每章末尾還增加瞭習題，並重新組織和改寫瞭某些章，以使各章更加相互獨立，增加瞭教師授課的靈活性，進而擴大瞭本書的使用範圍。
本書適閤數學、計算機科學、哲學等專業的學生使用。對於在人工智能、哲學、計算理論、離散結構、數理邏輯等領域進行研究的讀者，此書也是大有裨益的。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
我水平太低 不好評價 數理邏輯博大精深
评分我水平太低 不好評價 數理邏輯博大精深
评分我水平太低 不好評價 數理邏輯博大精深
评分我水平太低 不好評價 數理邏輯博大精深
评分我水平太低 不好評價 數理邏輯博大精深
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有