| 1.
図書 |
|
野崎昭弘著
|
||||||||||||||||
| 2.
図書 |
図書
|
J.L. バルカサール, J. ディアス, J. ガバロ著 ; 足立暁生訳
|
||||||||||||||||
| 3.
図書 |
|
岩田茂樹著
|
||||||||||||||||
| 4.
図書 |
|
高岡詠子著
目次情報:
続きを見る
概要:
チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はア
…
ルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。
続きを見る
|
||||||||||||||||
| 5.
図書 |
図書
|
戸田誠之助著
|
||||||||||||||||
| 6.
図書 |
図書
|
谷聖一著
|
||||||||||||||||
| 7.
図書 |
図書
|
Herbert S.Wilf [著] ; 西関隆夫,高橋敬共訳
|
