チューリングの計算理論入門 チューリング・マシンからコンピュータへ[本/雑誌] (ブルーバックス) (新書) / 高岡詠子/著

ご注文前に必ずご確認ください＜商品説明＞チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。＜収録内容＞第1章 人間にとっての計算第2章 機械に計算させようという試み第3章 オートマトンとチューリング・マシン第4章 決定問題第5章 万能チューリング・マシン第6章 計算量の話第7章 コンピュータへの道のり＜商品詳細＞商品番号：NEOBK-1629263Takaoka Eiko / Cho / Turing No Keisan Riron Nyumon Turing Machine Kara Computer He (Blue Backs)メディア：本/雑誌重量：150g発売日：2014/02JAN：9784062578516チューリングの計算理論入門 チューリング・マシンからコンピュータへ[本/雑誌] (ブルーバックス) (新書) / 高岡詠子/著2014/02発売