チューリングの計算理論入門

チューリング・マシンからコンピュータへ
ブルーバックス　Ｂー１８５１

講談社
高岡詠子　

• 価格: 1,012円（本体920円＋税）
• 発行年月: 2014年02月
• 判型: 新書
• ISBN: 9784062578516

内容情報

[BOOKデータベースより]

チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。

第１章　人間にとっての計算
第２章　機械に計算させようという試み
第３章　オートマトンとチューリング・マシン
第４章　決定問題
第５章　万能チューリング・マシン
第６章　計算量の話
第７章　コンピュータへの道のり

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

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


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