トップメニュー
詳細資料検索
資料紹介
OPACの利用案内
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細資料検索
ジャンル別検索
1 件中、 1 件目
計算理論の基礎 2
貸出可
Michael Sipser/著 -- 共立出版 -- 2023.5 -- 007.1
新着本お知らせ
本棚へ
所蔵
所蔵件数は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
閲覧室
/007.1/シ/2
117328849
成人一般
可能
ページの先頭へ
資料詳細
タイトル
計算理論の基礎 2
タイトルカナ
ケイサン リロン ノ キソ
著者
Michael Sipser
/著,
田中 圭介
/監訳,
藤岡 淳
/監訳,
阿部 正幸
/訳,
植田 広樹
/訳,
太田 和夫
/訳,
田中 圭介
/訳,
藤岡 淳
/訳,
渡辺 治
/訳
著者カナ
シプサ マイケル,タナカ ケイスケ,フジオカ アツシ,アベ マサユキ,ウエダ ヒロキ,オオタ カズオ,タナカ ケイスケ,フジオカ アツシ,ワタナベ オサム
巻の書名
計算可能性の理論
出版者
共立出版
出版年
2023.5
ページ数
27p,p196~328 40p
大きさ
21cm
一般件名
オートマトン
,
計算量理論
ISBN13桁
978-4-320-12562-9
言語
jpn
分類記号
007.1
内容紹介
計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、計算理論の教科書。新たな図などを加えた原著第3版を分冊にしたもの。2は計算可能性の理論を収録。
ページの先頭へ
目次
3 Church‐Turingの提唱
3.1 Turing機械
3.2 Turing機械の変型
3.3 アルゴリズムの定義
4 判定可能性
4.1 判定可能な言語
4.2 判定不可能性
5 帰着可能性
5.1 言語理論における判定不可能問題
5.2 単純な判定不可能問題
5.3 写像帰着可能性
6 計算可能性の理論における先進的な話題
6.1 再帰定理
6.2 数理論理における判定可能性
6.3 Turing帰着可能性
6.4 情報の定義
ページの先頭へ