Bibliographic Information

計算論

廣瀬健著

(近代数学講座 / 小松勇作編集, 10)

朝倉書店, 2004.3

復刊

Title Transcription

ケイサンロン

Available at  / 70 libraries

Note

1975年刊の復刊

参考文献: p[185]-187

Description and Table of Contents

Description

本書は、広い意味での“アルゴリズムの理論”を、なるべくやさしく解説する。

Table of Contents

  • 第1章 アルゴリズム
  • 第2章 テューリング機械
  • 第3章 帰納的関数
  • 第4章 形式的体系とその算術化
  • 第5章 T‐述語の性質
  • 第6章 決定問題
  • 第7章 帰納的部分関数
  • 第8章 帰納的加算集合
  • 第9章 アルゴリズムの評価および複雑さによる分類
  • 第10章 帰納的関数および帰納的述語の相対化—可解でない決定問題の分類
  • 第11章 “計算”のモデルとしての流れ図

by "BOOK database"

Related Books: 1-1 of 1

Details

  • NCID
    BA67057799
  • ISBN
    • 4254116608
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    vii, 194p
  • Size
    22cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top