計算理論
Author(s)
Bibliographic Information
計算理論
(チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳, 第2巻)
東京電機大学出版局, 1993.2
- Other Title
-
The turing omnibus
- Title Transcription
-
ケイサン リロン
Available at / 143 libraries
-
Prefectural University of Hiroshima Library and Academic Information Center
007.1||D67||2120004306
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: 各章末
Description and Table of Contents
Table of Contents
- ゲーデルの定理
- 乱数
- 時間計算量と記憶域計算量
- ランダムアクセス機械
- 非決定性
- チューリング機械
- 充足可能性
- 計算可能でない関数
- NP完全性
- クックの定理
- 万能チューリング機械
- NP完全問題
- 停止問題
- 語の問題
- チャーチの提唱
by "BOOK database"