チューリングマシンと計算量の理論
Author(s)
Bibliographic Information
チューリングマシンと計算量の理論
（情報数理シリーズ, B-2）
培風館, 1997.11
- Title Transcription
-
チューリング マシン ト ケイサンリョウ ノ リロン
Available at / 143 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考書案内: p251-253
Description and Table of Contents
Description
人間が計算（アルゴリズム）というものについて理論的にきちんと考え始めたのは、１９３０年代のことである。１９６０年代に入り、形式言語・オートマトン理論・プログラム理論などコンピュータにまつわる新しい理論が誕生し、計算量理論は多くの有能な研究者達によって発展を続けている。本書は、計算のモデルとして最もすぐれているチューリングマシンを中心に、コンピュータの進歩と歩調を合わせ進展している「アルゴリズム情報理論」を歴史的背景とともに解説した斬新なテキストである。
Table of Contents
- 第１章 準備
- 第２章 チューリングマシン
- 第３章 計算量のクラスと基本定理
- 第４章 計算量のクラスの階層
- 第５章 還元可能性と完全問題
- 第６章 並列計算
- 第７章 確率性アルゴリズムと近似計算
by "BOOK database"