計算可能性の理論
著者
書誌事項
計算可能性の理論
(計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳, 2)
共立出版, 2023.5
- タイトル読み
-
ケイサン カノウセイ ノ リロン
大学図書館所蔵 件 / 全123件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
原著第3版の翻訳
その他の訳者: 植田広樹, 太田和夫, 田中圭介, 藤岡淳, 渡辺治
監訳: 田中圭介, 藤岡淳
参考文献: 巻末p[1]-7
欧文索引: 巻末p[9]-24
和文索引: 巻末p[25]-40
内容説明・目次
目次
- 3 Church‐Turingの提唱(Turing機械;Turing機械の変型 ほか)
- 4 判定可能性(判定可能な言語;判定不可能性)
- 5 帰着可能性(言語理論における判定不可能問題 計算履歴を用いた帰着;単純な判定不可能問題 ほか)
- 6 計算可能性の理論における先進的な話題(再帰定理;数理論理における判定可能性 ほか)
「BOOKデータベース」 より