所蔵

所蔵件数は 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 情報の定義

ページの先頭へ