計算論
著者
書誌事項
計算論
（近代数学講座 / 小松勇作編集, 10）
朝倉書店, 2004.3
復刊
- タイトル読み
-
ケイサンロン
大学図書館所蔵 件 / 全70件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
1975年刊の復刊
参考文献: p[185]-187
内容説明・目次
内容説明
本書は、広い意味での“アルゴリズムの理論”を、なるべくやさしく解説する。
目次
- 第１章 アルゴリズム
- 第２章 テューリング機械
- 第３章 帰納的関数
- 第４章 形式的体系とその算術化
- 第５章 Ｔ‐述語の性質
- 第６章 決定問題
- 第７章 帰納的部分関数
- 第８章 帰納的加算集合
- 第９章 アルゴリズムの評価および複雑さによる分類
- 第１０章 帰納的関数および帰納的述語の相対化—可解でない決定問題の分類
- 第１１章 “計算”のモデルとしての流れ図
「BOOKデータベース」 より