チューリングの計算理論入門 チューリング・マシンからコンピュータへ
ブルーバックス Ｂ−１８５１
| 出版社名 | 講談社 |
|---|---|
| 出版年月 | 2014年2月 |
| ISBNコード |
978-4-06-257851-6
（4-06-257851-4） |
| 税込価格 | 1,012円 |
| 頁数・縦 | ２２２Ｐ １８ｃｍ |
商品内容
| 要旨 |
チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。 |
|---|---|
| 目次 |
第１章 人間にとっての計算 |