計算理論
著者
書誌事項
計算理論
(チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳, 第2巻)
東京電機大学出版局, 1993.2
- タイトル別名
-
The turing omnibus
- タイトル読み
-
ケイサン リロン
大学図書館所蔵 件 / 全143件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: 各章末
内容説明・目次
目次
- ゲーデルの定理
- 乱数
- 時間計算量と記憶域計算量
- ランダムアクセス機械
- 非決定性
- チューリング機械
- 充足可能性
- 計算可能でない関数
- NP完全性
- クックの定理
- 万能チューリング機械
- NP完全問題
- 停止問題
- 語の問題
- チャーチの提唱
「BOOKデータベース」 より