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