チューリングの計算理論入門 チューリング・マシンからコンピュータへ/高岡詠子

高岡詠子
講談社
ブルーバックス B－1851
ISBN：4062578514/9784062578516
発売日:2014年02月

---

※商品画像はイメージや仮デザインが含まれている場合があります。帯の有無など実際と異なる場合があります。

【内容紹介】
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、7大難問の一つ「P=NP問題」についても、わかりやすく解説します。(ブルーバックス・2014年2月刊)


イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった。
チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、7大難問の一つ「P=NP問題」についても、わかりやすく解説します。


【商品説明】
「シャノンの情報理論」とともに、情報社会を生み出したコンピューターの理論「チューリングの計算理論」を分かりやすく解説する