計算可能性の理論
著者
書誌事項
計算可能性の理論
(計算理論の基礎 / Michael Sipser著 ; 阿部正幸 [ほか] 訳, 2)
共立出版, 2008.5
- タイトル別名
-
Introduction to the theory of computation
- タイトル読み
-
ケイサン カノウセイ ノ リロン
大学図書館所蔵 件 / 全224件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
原著第2版の翻訳
その他の訳者: 植田広樹, 藤岡淳, 渡辺治
監訳: 太田和夫, 田中圭介
参考文献: 巻末p[1]-6
欧文索引: 巻末p[7]-27
和文索引: 巻末p[29]-48
内容説明・目次
目次
- 第1巻 オートマトンと言語(序論;正規言語;文脈自由言語)
- 第2巻 計算可能性の理論(Church‐Turingの提唱;判定可能性;帰着可能性;計算可能性の理論における先進的な話題)
- 第3巻 複雑さの理論(時間の複雑さ;領域の複雑さ;問題の扱いにくさ;計算の複雑さの理論における先進的な話題)
「BOOKデータベース」 より