チューリングの計算理論入門 (ブルーバックス)

高岡詠子

みんなの評価・レビューを見る

この本の所有者

けいさん

(4.0)

4人が登録

166回参照

2015年5月6日に更新

詳細ページを見る Amazonで検索

書籍情報

ページ数:: 224ページ
参照数:: 166回
登録日:: 2015/05/06
更新日:: 2015/05/06
所有者:: けいさん

この本を共有する

内容紹介

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