香川県立図書館
図書館ホーム
標準蔵書検索
詳細蔵書検索
資料紹介
図書館カレンダー
Myライブラリ
検索結果一覧
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
検索条件
著者
渓流編集部
ハイライト
ON
OFF
一覧へ戻る
1 件中、 1 件目
チューリングの計算理論入門
高岡詠子/著 -- 講談社 -- 2014.2 -- 410.9
新着図書お知らせメール
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
新書
4109/T14/
1108742170
一般
貸出可
在庫
ページの先頭へ
資料詳細
種別
図書
タイトルコード
1110193366
タイトル
チューリングの計算理論入門
タイトルカナ
チューリング ノ ケイサン リロン ニュウモン
副書名
チューリング・マシンからコンピュータへ
著者
高岡詠子
/著
著者カナ
タカオカ エイコ
叢書名
ブルーバックス
B-1851
出版地
東京
出版者
講談社
出版年
2014.2
ページ数
222p
大きさ
18cm
一般件名
計算量理論
,
チューリング機械
NDC分類(8版)
410.9
ISBN13桁
978-4-06-257851-6
定価
860円
内容紹介
コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も説明。さらに計算量と、7大難問のひとつ「P=NP問題」についても解説する。
著者紹介
東京都生まれ。慶應義塾大学理工学部卒、同大学大学院理工学研究科計算機科学専攻博士課程修了。千歳科学技術大学総合光科学部准教授等を経て、現在、上智大学理工学部情報理工学科准教授。国際基督教大学、明治学院大学非常勤講師。主な著書「シャノンの情報理論入門」など。
ページの先頭へ