チューリングオムニバス 第２巻

コンピュータサイエンスへの旅
計算理論　

東京電機大学出版局
Ａ．Ｋ．デュードニー　足立暁生　

• 価格: 2,090円（本体1,900円＋税）
• 発行年月: 1993年02月
• 判型: Ａ５
• ISBN: 9784501519605

内容情報

[BOOKデータベースより]

ゲーデルの定理
乱数
時間計算量と記憶域計算量
ランダムアクセス機械
非決定性
チューリング機械
充足可能性
計算可能でない関数
ＮＰ完全性
クックの定理
万能チューリング機械
ＮＰ完全問題
停止問題
語の問題
チャーチの提唱

[日販商品データベースより]

チューリングオムニバスは，コンピュータサイエンスの世界への気軽な入門書です。その書名が語呂あわせになっているように，チューリング（コンピュータの祖）の街を訪ね歩く観光バス（ツーリングオムニバス）の形をとった選集（オムニバス）です。景勝地の中には，理論の記念碑や応用の街路があり，たくみな比喩により全部で61ポイント解説されています。