チューリングマシンと計算量の理論

著者

• 守屋, 悦朗 モリヤ, エツロウ

書誌事項

チューリングマシンと計算量の理論

守屋悦朗著

（情報数理シリーズ, B-2）

培風館, 1997.11

タイトル読み

チューリング マシン ト ケイサンリョウ ノ リロン

注記

参考書案内: p251-253

内容説明・目次

内容説明

人間が計算（アルゴリズム）というものについて理論的にきちんと考え始めたのは、１９３０年代のことである。１９６０年代に入り、形式言語・オートマトン理論・プログラム理論などコンピュータにまつわる新しい理論が誕生し、計算量理論は多くの有能な研究者達によって発展を続けている。本書は、計算のモデルとして最もすぐれているチューリングマシンを中心に、コンピュータの進歩と歩調を合わせ進展している「アルゴリズム情報理論」を歴史的背景とともに解説した斬新なテキストである。

目次

• 第１章　準備
• 第２章　チューリングマシン
• 第３章　計算量のクラスと基本定理
• 第４章　計算量のクラスの階層
• 第５章　還元可能性と完全問題
• 第６章　並列計算
• 第７章　確率性アルゴリズムと近似計算

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA33331903
• ISBN:
  • 4563014923
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 261p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
• 件名:
  • BSH : 計算量理論
  • NDLSH : アルゴリズム
• 親書誌ID:
  • BN14322882