𝔖 Scriptorium
✦   LIBER   ✦
📁

原始递归算术

✍ Scribed by 沈百英著

Publisher
华东化工学院出版社 出版日期
Year
1990
Tongue
Chinese
Leaves
444
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

第1章 有关概念的非形式描述
1.1 自然数，数变元，数论函数
1.2 函数的定义
1.3 递归算术作为方程演算的语法刻划
1.4 证明的推理根据的书写方式
1.5 公理与规则的分类
1.6 规则的强弱解释
第2章 基础系统
2.1 基础系统的描述
2.2 基础系统中的推理
2.3 基础系统的化归
第3章 第一类纯递归式递归算术F1（系统A0V
3.1 递归算术F1的构成
3.2 关于二元常函数N的性质

📜 SIMILAR VOLUMES

递归论
📁 递归论
✍ 莫绍揆 📂 Library 📅 1987 🏛 科学出版社 🌐 Chinese

内容提要: 本书是一本人门书，对递归论的各个发展方向（古典的与新兴的）都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解度论，将读者引导到科研前沿。本书可供大学数学系本科生或研究生作为递归论的教材或参考书。

递归论
📁 递归论
✍ 莫绍揆 📂 Library 📅 1987 🏛 科学出版社 🌐 Chinese

本书是一本人门书，对递归论的各个发展方向（古典的与新兴的）都作了比较详细而有系统的介绍．前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识．后四章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解度论，将读者引导到科研前沿．本书可供大学数学系本科生或研究生作为递归论的教材或参考书。

递归数列
📁 递归数列
✍ 陈家声; 徐惠芳 📂 Library 📅 1988 🏛 上海教育出版社 🌐 Chinese
递归论
📁 递归论
✍ 莫绍揆 📂 Library 📅 1987 🏛 科学出版社 🌐 Chinese
递归函数论
📁 递归函数论
✍ 培特（R.Peter） 📂 Library 📅 1958 🏛 科学出版社 🌐 Chinese
递归函数论
📁 递归函数论
✍ 莫绍揆 📂 Library 📅 1965 🏛 上海科学技术出版社 🌐 Chinese