チューリングの計算理論入門 : チューリング・マシンからコンピュータへ

著者

書誌事項

チューリングの計算理論入門 : チューリング・マシンからコンピュータへ

高岡詠子著

（ブルーバックス, B-1851）

講談社, 2014.2

タイトル別名

チューリングの計算理論入門 : チューリングマシンからコンピュータへ

タイトル読み

チューリング ノ ケイサン リロン ニュウモン : チューリング・マシン カラ コンピュータ エ

大学図書館所蔵 件 / 全296件

この図書・雑誌をさがす

注記

参考図書: p216-218

内容説明・目次

内容説明

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

目次

  • 第１章　人間にとっての計算
  • 第２章　機械に計算させようという試み
  • 第３章　オートマトンとチューリング・マシン
  • 第４章　決定問題
  • 第５章　万能チューリング・マシン
  • 第６章　計算量の話
  • 第７章　コンピュータへの道のり

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ