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

高岡詠子

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

この本の所有者

H. Tarkunさん

(4.0)

4人が登録

368回参照

2016年6月13日に更新

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

書籍情報

ページ数:: 224ページ
参照数:: 368回
登録日:: 2015/09/22
更新日:: 2016/06/13
所有者:: H. Tarkunさん

この本を共有する

内容紹介

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