《可計算性與數理邏輯》是由電子工業出版社於2003-6出版的圖書,本書作者是布勒斯 (George S. Boolos)。
基本介紹
- 作者:布勒斯 (George S. Boolos)
- ISBN:9787505388284
- 頁數:349
- 定價:38.00
- 出版社:電子工業出版社
- 出版時間:2003-6
- 裝幀:平裝
內容介紹,作品目錄,
內容介紹
本書是一本經典的邏輯教科書,第四版已經過全面修訂,提高了可讀性。全書主要論述了可計算性理論、基礎元邏輯及一些高級專題。此書同樣適用於沒有數學背景知識的學生,不僅包括了中等深度的邏輯教程所討論的基本專題,如哥德爾不完全性定理等,而且涉及了從圖靈的可計算性理論到Ramsey定理的大量選題,因而已成為一本經典的教科書。該書在每章末尾還增加了習題,並重新組織和改寫了某些章,以使各章更加相互獨立,增加了教師授課的靈活性,進而擴大了本書的使用範圍。
本書適合數學、計算機科學、哲學等專業的學生使用。對於在人工智慧、哲學、計算理論、離散結構、數理邏輯等領域進行研究的讀者,此書也是大有裨益的。
作品目錄
1,可枚舉性
2,對角化
3,圖靈可計算性
4,不可計算性
5,算盤可計算性
6,遞歸函式
7,遞歸集與遞歸關係
8,可計算性的等價定義
9,一階邏輯初階:語法
1,一階邏輯初階:語義
11,一階邏輯的不可判定性
12,模型
13,模型的存在性
14,證明與完備性
15,算術化
16,遞歸函式的可表示性<br
2,對角化
3,圖靈可計算性
4,不可計算性
5,算盤可計算性
6,遞歸函式
7,遞歸集與遞歸關係
8,可計算性的等價定義
9,一階邏輯初階:語法
1,一階邏輯初階:語義
11,一階邏輯的不可判定性
12,模型
13,模型的存在性
14,證明與完備性
15,算術化
16,遞歸函式的可表示性<br