チューリングの計算理論入門
送料無料(コンビニ送料含む)
4.13 (11件)
在庫あり1,012円 (税込み)
(2024/12/12 01:45:29時点の在庫、価格情報です。詳しくは販売ページにてご確認下さい。)商品情報
| 著者名 | 高岡 詠子 |
| 出版社名 | 講談社 |
| ISBNコード | 9784062578516 |
| 発売日/出版年度 | 2014年02月21日頃 |
商品説明
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、7大難問の一つ「P＝NP問題」についても、わかりやすく解説します。（ブルーバックス・2014年2月刊）
イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった。
チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、7大難問の一つ「P＝NP問題」についても、わかりやすく解説します。
第1章 人間にとっての計算
第2章 機械に計算をさせようという試み
第3章 オートマトンとチューリング・マシン
第4章 決定問題
第5章 万能チューリング・マシン
第6章 計算量の話
第7章 コンピュータへの道のり