高岡 詠子/著 -- 講談社 -- 2014.2 -- 007.1

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 一般資料室 007.1/2014/ 00013674718 和書 帯出可 在庫 iLisvirtual

資料詳細

タイトル チューリングの計算理論入門 ,
書名ヨミ チューリング ノ ケイサン リロン ニュウモン
副書名 チューリング・マシンからコンピュータへ
叢書名 ブルーバックス
著者 高岡 詠子 /著  
著者名ヨミ タカオカ,エイコ
出版者 講談社
出版年 2014.2
ページ数, 大きさ 222p, 18cm
NDC10版 007.1
NDC8版 007.1
一般件名 オートマトン , 計算量理論
ISBN 978-4-06-257851-6 国立国会図書館 カーリル GoogleBooks WebcatPlus
著者紹介 東京都生まれ。慶應義塾大学大学院理工学研究科計算機科学専攻博士課程修了。上智大学理工学部情報理工学科准教授。博士(工学)。共著に「学びとコンピュータハンドブック」など。
内容紹介 コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。