計算理論(チューリングオムニバス―コンピュータサイエンスの旅〈第2巻〉) [単行本]

計算理論(チューリングオムニバス―コンピュータサイエンスの旅〈第2巻〉) の 商品概要

• 目次

  1　ゲーデルの定理
  2　乱数
  3　時間計算量と記憶域計算量
  4　ランダムアクセス機械
  5　非決定性
  6　チューリング機械
  7　充足可能性
  8　計算可能でない関数
  9　NP完全性
  10　クックの定理
  11　万能チューリング機械
  12　NP完全問題
  13　停止問題
  14　語の問題
  15　チャーチの提唱

• 内容紹介

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

計算理論(チューリングオムニバス―コンピュータサイエンスの旅〈第2巻〉) の商品スペック