チューリングの計算理論入門―チューリング・マシンからコンピュータへ(ブルーバックス) [新書]

チューリングの計算理論入門―チューリング・マシンからコンピュータへ(ブルーバックス) の 商品概要

• 要旨（「BOOK」データベースより）

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

• 目次

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

• 出版社からのコメント

  「シャノンの情報理論」とともに、情報社会を生み出したコンピューターの理論「チューリングの計算理論」を分かりやすく解説する。

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  高岡 詠子(タカオカ エイコ)
  東京都に生まれる。慶應義塾大学理工学部数理科学科卒業、同大学大学院理工学研究科計算機科学専攻博士課程修了。千歳科学技術大学総合光科学部准教授等を経て、上智大学理工学部情報理工学科准教授。博士（工学）。国際基督教大学、明治学院大学非常勤講師。専攻は、計算機科学、データベース、プログラミング教育、情報教育

チューリングの計算理論入門―チューリング・マシンからコンピュータへ(ブルーバックス) の商品スペック