資料詳細

  • 1 件中、 1 件目

【図書】 チューリングの計算理論入門

チューリング・マシンからコンピュータへ -- ブルーバックス --
高岡詠子 ／著   -- 講談社 -- ２０１４．２ -- １８ｃｍ -- ２２２ｐ

資料詳細

タイトル チューリングの計算理論入門
副書名 チューリング・マシンからコンピュータへ
シリーズ名 ブルーバックス
著者名等 高岡詠子 ／著  
出版 講談社 ２０１４．２
大きさ等 １８ｃｍ ２２２ｐ
分類 410.9
件名 計算量理論 , チューリング機械
注記 文献あり　索引あり
著者紹介 東京都生まれ。慶應義塾大学理工学部卒、同大学大学院理工学研究科計算機科学専攻博士課程修了。千歳科学技術大学総合光科学部准教授等を経て、現在、上智大学理工学部情報理工学科准教授。国際基督教大学、明治学院大学非常勤講師。主な著書「シャノンの情報理論入門」など。
内容紹介 コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も説明。さらに計算量と、７大難問のひとつ「Ｐ＝ＮＰ問題」についても解説する。
要旨 チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。
目次 第１章　人間にとっての計算；第２章　機械に計算させようという試み；第３章　オートマトンとチューリング・マシン；第４章　決定問題；第５章　万能チューリング・マシン；第６章　計算量の話；第７章　コンピュータへの道のり
ISBN(13)、ISBN 978-4-06-257851-6　　 4-06-257851-4
書誌番号 1113136019

ページの先頭へ

所蔵

所蔵は 5 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2051970643 iLisvirtual
磯子 公開 Map 410 一般書 利用可 - 2052132250 iLisvirtual
金沢 公開 Map 410 一般書 利用可 - 2052178439 iLisvirtual
都筑 公開 Map 410 一般書 利用可 - 2052147932 iLisvirtual
戸塚 公開 Map 410 一般書 利用可 - 2052295575 iLisvirtual

ページの先頭へ