検索結果 10 件
紙図書
国立国会図書館全国の図書館
- 目次・記事第1章 序論 1.1 帰納的関数および帰納的述語の概念 1.2...... 1.4 記号と規約 第2章 帰納的関数と帰納的述語 2.1 原始帰納的関数と帰納的関数 2.2 原始帰納的述語と帰納.......4 累積帰納法 2.5 多重帰納的関数 2.6 帰納的部分関数 2.......関するいくつかの注意 第4章 帰納的関数を定義する形式的体系 4.1 形式的体系R 4.2 形式的体...
- 要約等名著復刊。数学や情報科学の様々な理論と、多くの接点をもった分野である帰納的関数の理論の本格的な入門書。1989年初版発行。
- 件名帰納的関数
紙デジタル図書
国立国会図書館全国の図書館
- 目次・記事第1章 序論 第2章 帰納的関数と帰納的述語 第3章 不完全性定理 第4章 帰納的関数を定義する形式的体系 第5章 算術的階層 第6章 決定不可能...
- 要約等理工系の数学専攻の学生、計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。
- 件名帰納的関数
紙デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館
- 並列タイトル等(連結)帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数
- 並列タイトル等帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数