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

高岡詠子（著）

通算 27 読みたい！

読みたい読んだ

もっともっと探す

+もっと

の図書館をまとめて探す

CiNii Booksで大学図書館の所蔵を調べる

書店で購入する

詳しい情報

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

出版社: 講談社(2014-02-21)

新書: 224 ページ / 11.3 x 1.0 x 17.2 cm

ISBN-10: 4062578514 ISBN-13: 9784062578516 [この本のウィジェットを作る]

NDC(9): 410.9

ほかのサービスで見る

国立国会図書館サーチカスタマイズ

紹介

本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、７大難問の一つ「P＝NP問題」についても、わかりやすく解説します。（ブルーバックス・2014年2月刊）　イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった。　チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。　本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、７大難問の一つ「P＝NP問題」についても、わかりやすく解説します。

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

書評とコメント

この本の感想を書いてみよう。この本にコメントする