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

Author(s)

• 高岡, 詠子 タカオカ, エイコ

Bibliographic Information

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

高岡詠子著

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

講談社, 2014.2

Other Title

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

Title Transcription

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

Note

参考図書: p216-218

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BB14865839
• ISBN:
  • 9784062578516
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 222p
• Size: 18cm
• Classification:
  • NDC9 : 007.1
  • NDC9 : 410.9
• Subject Headings:
  • NDLSH : 計算量理論
  • NDLSH : アルゴリズム
  • NDLSH : チューリング機械
• Parent Bibliography ID:
  • BN00081030