大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
チューリングの計算理論入門
貸出可
高岡 詠子/著 -- 講談社 -- 2014.2 -- 007.1
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
一般資料室
007.1/2014/
00013674718
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
チューリングの計算理論入門 ,
書名ヨミ
チューリング ノ ケイサン リロン ニュウモン
副書名
チューリング・マシンからコンピュータへ
叢書名
ブルーバックス
著者
高岡 詠子
/著
著者名ヨミ
タカオカ,エイコ
出版者
講談社
出版年
2014.2
ページ数, 大きさ
222p, 18cm
NDC10版
007.1
NDC8版
007.1
一般件名
オートマトン
,
計算量理論
ISBN
978-4-06-257851-6
著者紹介
東京都生まれ。慶應義塾大学大学院理工学研究科計算機科学専攻博士課程修了。上智大学理工学部情報理工学科准教授。博士(工学)。共著に「学びとコンピュータハンドブック」など。
内容紹介
コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。
ページの先頭へ