計算論
Author(s)
Bibliographic Information
計算論
（近代数学講座 / 小松勇作編集, 10）
朝倉書店, 2004.3
復刊
- Title Transcription
-
ケイサンロン
Available at / 70 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
1975年刊の復刊
参考文献: p[185]-187
Description and Table of Contents
Description
本書は、広い意味での“アルゴリズムの理論”を、なるべくやさしく解説する。
Table of Contents
- 第１章 アルゴリズム
- 第２章 テューリング機械
- 第３章 帰納的関数
- 第４章 形式的体系とその算術化
- 第５章 Ｔ‐述語の性質
- 第６章 決定問題
- 第７章 帰納的部分関数
- 第８章 帰納的加算集合
- 第９章 アルゴリズムの評価および複雑さによる分類
- 第１０章 帰納的関数および帰納的述語の相対化—可解でない決定問題の分類
- 第１１章 “計算”のモデルとしての流れ図
by "BOOK database"
