帰納的関数

帰納的関数
著者 廣瀬 健
分野 数学  > 論理  > 数学基礎論
シリーズ 数学  > 共立講座 現代の数学 3
発売日 1989/02/01
ISBN 9784320011205
体裁 A5・224頁
定価 3,960円 (本体3,600円 + 税10%)
在庫 品切れ・重版未定
  • この本の
    内容
  • 目次
理工系の数学専攻の学生、計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。
第1章 序論

第2章 帰納的関数と帰納的述語

第3章 不完全性定理

第4章 帰納的関数を定義する形式的体系

第5章 算術的階層

第6章 決定不可能次数

第7章 決定問題―ヒルベルトの第10問題を中心に―

Shopping
ご注文

3,960円
(本体3,600円 + 税10%)

ネット書店で購入