チューリングマシンと計算量の理論
著者
書誌事項
チューリングマシンと計算量の理論
(情報数理シリーズ, B-2)
培風館, 1997.11
- タイトル読み
-
チューリング マシン ト ケイサンリョウ ノ リロン
大学図書館所蔵 全143件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考書案内: p251-253
内容説明・目次
内容説明
人間が計算(アルゴリズム)というものについて理論的にきちんと考え始めたのは、1930年代のことである。1960年代に入り、形式言語・オートマトン理論・プログラム理論などコンピュータにまつわる新しい理論が誕生し、計算量理論は多くの有能な研究者達によって発展を続けている。本書は、計算のモデルとして最もすぐれているチューリングマシンを中心に、コンピュータの進歩と歩調を合わせ進展している「アルゴリズム情報理論」を歴史的背景とともに解説した斬新なテキストである。
目次
- 第1章 準備
- 第2章 チューリングマシン
- 第3章 計算量のクラスと基本定理
- 第4章 計算量のクラスの階層
- 第5章 還元可能性と完全問題
- 第6章 並列計算
- 第7章 確率性アルゴリズムと近似計算
「BOOKデータベース」 より