チューリングオムニバス 〈第２巻〉 - コンピュータサイエンスへの旅 計算理論

デュードニー，Ａ．Ｋ．【著】〈Ｄｅｗｄｎｅｙ，Ａ．Ｋ．〉/足立 暁生【訳】

東京電機大学出版局（1993/02発売）

• サイズ A5判／ページ数 155p／高さ 21cm
• 商品コード 9784501519605
• NDC分類 410.9
• Cコード C3041

出版社内容情報

　

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

目次

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