Can I read 递归函数论 on EtoBox?

递归函数论 by 莫绍揆编著 is a book available to read on EtoBox.

What is 递归函数论 about?

1 (p1): 绪论 1 (p1-1): 1 自然数集与数论函数 4 (p1-2): 2 函数与依变元 9 (p1-3): 3 可直接定义的函数 11 (p1-4): 4 迭置 18 (p1-5): 5 算子 26 (p1-6): 6 函数的定义过程(组成过程) 30 (p1-7): 7 谓词与特征函数 37 (p1-8): 8 数学归纳法 43 (p2): 第一章 五则函数 43 (p2-1): 1 五则函数(上) 49 (p2-2): 2 五则函数(下) 52 (p2-3): 3 配对函数 59 (p2-4): 4 有限数列的表示 63 (p2-5): 5 迭置的化归 72 (p3): 第二章 算子 72 (p3-1): 1 摹状算子与求逆算子 78 (p3-2): 2 递归算子 86 (p3-3): 3 算子的分类 90 (p3-4): 4 算子的相互表示及化归 101 (p3-5): 5 递归生成的函数集 108 (p3-6): 6 三大函数集 110 (p4): 第三章 初等函数集 110 (p4-1): 1 四个初等函数集(上) 116 (p4-2): 2 四个初等函数集(下) 124 (p4-3): 3 初等函数集的一些重要性质 128 (p4-4): 4 最强的初等算子 133 (p4-5): 5 初基函数集 140 (p5): 第四章 原始递归函数 140 (p5-1): 1 与初等函数的关系 142 (p5-2): 2 原始递归式的化归 153 (p5-3): 3 原始递归式的加强 166 (p5-4): 4 多重递归式 181 (p5-5): 5 非原始递归函数之一例 185 (p5-6): 6 递归式与数学归纳法 187 (p6): 第五章 一般递归函数 187 (p6-1): 1 一般递归函数与原始递归函数 190 (p6-2): 2 一般递归式的化归 194 (p6-3): 3 一般递归式的加强 197 (p6-4): 4 一般递归式与超穷递归式 203 (p6-5): 5 摹状式与一般递归式 208 (p6-6): 6 利用摹状式以作一般递归函数集 214 (p6-7): 7 一般递归函数的典范式 224 (p6-8): 8 部分函数与半递归函数 229 (p6-9): 9 可在有限步骤内计算的函数 239 (p6-10): 10 可形式计算的函数 246 (p7): 第六章 递归生成的函数集 246 (p7-1): 1 控制函数 250 (p7-2): 2 递归生成函数集的枚举 256 (p7-3): 3 一般递归函数集的枚举 261 (p7-4): 4 自身枚举与主要自身枚举 265 (p8): 第七章 谓词与集合 265 (p8-1): 1 各种谓词 266 (p8-2): 2 多项式谓词 269 (p8-3): 3 新初

Author

莫绍揆编著

Publisher

上海:上海科学技术出版社

Published

1965

Language

ZH