計算可能性の理論
Author(s)
Bibliographic Information
計算可能性の理論
（計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳, 2）
共立出版, 2023.5
- Title Transcription
-
ケイサン カノウセイ ノ リロン
Access to Electronic Resource 1 items
-
-
計算可能性の理論
2023.5.
-
計算可能性の理論
Available at / 127 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
原著第3版の翻訳
その他の訳者: 植田広樹, 太田和夫, 田中圭介, 藤岡淳, 渡辺治
監訳: 田中圭介, 藤岡淳
参考文献: 巻末p[1]-7
欧文索引: 巻末p[9]-24
和文索引: 巻末p[25]-40
Description and Table of Contents
Table of Contents
- ３ Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱（Ｔｕｒｉｎｇ機械；Ｔｕｒｉｎｇ機械の変型 ほか）
- ４ 判定可能性（判定可能な言語；判定不可能性）
- ５ 帰着可能性（言語理論における判定不可能問題 計算履歴を用いた帰着；単純な判定不可能問題 ほか）
- ６ 計算可能性の理論における先進的な話題（再帰定理；数理論理における判定可能性 ほか）
by "BOOK database"
