出版社内容情報
帰納的関数と広い意味での「アルゴリズムの理論」を考え方から始め，できるだけやさしく解説した〔内容〕アルゴリズム／テューリング機械／帰納的関数／形式的体系と算術化／T-術語の性質／決定問題／帰納的可算集合／アルゴリズム評価／他
内容説明
本書は、広い意味での“アルゴリズムの理論”を、なるべくやさしく解説する。
目次
第１章 アルゴリズム
第２章 テューリング機械
第３章 帰納的関数
第４章 形式的体系とその算術化
第５章 Ｔ‐述語の性質
第６章 決定問題
第７章 帰納的部分関数
第８章 帰納的加算集合
第９章 アルゴリズムの評価および複雑さによる分類
第１０章 帰納的関数および帰納的述語の相対化―可解でない決定問題の分類
第１１章 “計算”のモデルとしての流れ図
