登録番号	101105642
利用者コメント	イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった　チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じで
コピーの注記
書誌ＩＤ	BB00242620
原簿番号	10110564
巻冊次等
配架場所	(薬学)薬学書庫３F
請求記号	410.9/C 67
状　　態
ＩＳＢＮ	9784062578516
資料種別	紙
刷　　年
配架日	2014.02.27
LDF
	イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった　チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じで
	あることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、７大難問の一つ「Ｐ＝ＮＰ問題」についても、わかりやすく解説します。