チューリングの計算理論入門

ブルーバックス

高岡 詠子

2014年2月21日

講談社

1,012円(税込)

科学・技術 / 新書

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

本棚に登録&レビュー

みんなの評価(1

starstarstarstarstar 5

読みたい

7

未読

1

読書中

0

既読

3

未指定

6

書店員レビュー(0)
書店員レビュー一覧

みんなのレビュー

レビューはありません

Google Play で手に入れよう
Google Play で手に入れよう
キーワードは1文字以上で検索してください