資料詳細

検索条件

書名

政治的なものの変貌

ハイライト

一覧へ戻る

チューリングの計算理論入門利用可

高岡詠子／著 -- 講談社 -- 2014.2 -- 410.9

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	新書文庫	410.9/ﾀｶｵ/一般Ｓ	119282999	一般	利用可

ページの先頭へ

資料詳細

タイトル	チューリングの計算理論入門
書名ヨミ	チューリング　ノ　ケイサン　リロン　ニュウモン
副書名	チューリング・マシンからコンピュータへ
シリーズ名	ブルーバックス
シリーズ巻次	Ｂ－１８５１
著者名	高岡詠子／著
著者ヨミ	タカオカ，エイコ
出版者	講談社
出版年	2014.2
ページ数等	２２２ｐ
大きさ	１８ｃｍ
内容細目	文献あり　索引あり
一般件名	計算量理論 , チューリング機械
ISBN	4-06-257851-4
ISBN13桁	978-4-06-257851-6
定価	８６０円
問合わせ番号（書誌番号）	1101999559
NDC8版	410.9
NDC9版	410.9
内容紹介	チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。
著者紹介	東京都生まれ。慶應義塾大学理工学部卒、同大学大学院理工学研究科計算機科学専攻博士課程修了。千歳科学技術大学総合光科学部准教授等を経て、現在、上智大学理工学部情報理工学科准教授。国際基督教大学、明治学院大学非常勤講師。主な著書「シャノンの情報理論入門」など。

ページの先頭へ

内容一覧

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

ページの先頭へ