「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
読割 50
紙の本
チューリングの計算理論入門 チューリング・マシンからコンピュータへ (ブルーバックス)
著者 高岡 詠子 (著)
コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分か...
チューリングの計算理論入門 チューリング・マシンからコンピュータへ (ブルーバックス)
チューリングの計算理論入門 チューリング・マシンからコンピュータへ
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。【「TRC MARC」の商品解説】
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、7大難問の一つ「P=NP問題」についても、わかりやすく解説します。(ブルーバックス・2014年2月刊)
イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった。
チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、7大難問の一つ「P=NP問題」についても、わかりやすく解説します。【商品解説】
目次
- 第1章 人間にとっての計算
- 第2章 機械に計算をさせようという試み
- 第3章 オートマトンとチューリング・マシン
- 第4章 決定問題
- 第5章 万能チューリング・マシン
- 第6章 計算量の話
- 第7章 コンピュータへの道のり
著者紹介
高岡 詠子
- 略歴
- 〈高岡詠子〉東京都生まれ。慶應義塾大学大学院理工学研究科計算機科学専攻博士課程修了。上智大学理工学部情報理工学科准教授。博士(工学)。共著に「学びとコンピュータハンドブック」など。
関連キーワード
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む