帰納的関数

共立講座現代の数学　３

共立出版
広瀬健　

• 価格: 3,960円（本体3,600円＋税）
• 発行年月: 1989年02月
• 判型: Ａ５
• ISBN: 9784320011205

内容情報

[BOOKデータベースより]

帰納的関数や帰納的述語の概念は、いわゆる“アルゴリズム”の概念と関わって登場した。そして現在、帰納的手続きは、アルゴリズムの数学的定義とされている概念である。この意味で、帰納的関数の理論は、数学や情報科学におけるさまざまな理論と、きわめて多くの接点をもった分野である。本書では、以上の状況を勘考して、本格的な入門書であると同時に、なるべく多くの分野の方々にとって読みやすいような解説を心がけ、また構成に注意をはらった。

第１章　序論
第２章　帰納的関数と帰納的述語
第３章　不完全性定理
第４章　帰納的関数を定義する形式的体系
第５章　算術的階層
第６章　決定不可能次数
第７章　決定問題―ヒルベルトの第１０問題を中心に

[日販商品データベースより]

理工系の数学専攻の学生、計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。