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