検索結果書誌詳細

内容紹介

コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。

＋ 追加情報を見る

タイトルコード

1000040336468

書誌種別

図書

著者名

高岡 詠子／著

著者名ヨミ

タカオカ エイコ

出版者

講談社

出版年月

2014.2

ページ数・枚数

222p

大きさ・形態

18cm

ISBN

4-06-257851-6

分類記号

007.1

書名

チューリングの計算理論入門 チューリング・マシンからコンピュータへ ブルーバックス B-1851

書名ヨミ

チューリング ノ ケイサン リロン ニュウモン チューリング マシン カラ コンピュータ エ ブルー バックス B-1851

副書名

チューリング・マシンからコンピュータへ

副書名ヨミ

チューリング マシン カラ コンピュータ エ

著者紹介

東京都生まれ。慶應義塾大学大学院理工学研究科計算機科学専攻博士課程修了。上智大学理工学部情報理工学科准教授。博士(工学)。共著に「学びとコンピュータハンドブック」など。

件名1

オートマトン

件名2

計算量理論

叢書名

ブルーバックス