原始递归函数是递归函数的一种, 理解原始递归函数需要首先真正理解什么是递归函数, 在编程语言中, 一个函数自己调用自己便称之为递归调用, 该函数也称为递归函数, 但这种说法是不严谨, 非形式化的, 要研究递归函数需要给出递归函数的精确定义。讨论函数, 首先要确定函数的定义域, 对于递 …

递归是计算机科学中的一种常见算法思想，在函数定义中使用自身方法。

逻辑 “逻辑”作为编程语言的抽象，可以看成一个平面而没有层次的“描述”，对于可计算理论的基本问题——判定性问题，它可以被看做一个过滤器，过滤掉那些是逻辑表达式为假的输入。

2016年10月7日 · 知乎，中文互联网高质量的问答社区和创作者聚集的原创内容平台，于 2011 年 1 月正式上线，以「让人们更好的分享知识、经验和见解，找到自己的解答」为品牌使命。知乎凭借认真、专业、友善的社区氛围、独特的产品机制以及结构化和易获得的优质内容，聚集了中文互联网科技、商业、影视 ...

递归效率低是函数调用的开销导致的。 在一个函数调用之前需要做许多工作，比如准备函数内 局部变量 使用的空间、搞定函数的参数等等，这些事情每次调用函数都需要做，因此会产生额外开销导致递归效率偏低，所以逻辑上开销一致时递归的额外开销会多一些

图灵机. 关键是：双向无限纸带，有穷字母表，有穷内部状体，有穷指令集。 一个函数 f:\\mathbb{N}^n\\to\\mathbb{N} 是图灵可计算，当且仅当存在一个图灵机（你也可以理解成用任何图灵完全的语言写的一个程序），输入 \\bar{a} ，有穷步内停机并输出 f(\\bar{a}) 。

2020年5月13日 · 尽量说的通俗点

2015年11月8日 · 知乎，中文互联网高质量的问答社区和创作者聚集的原创内容平台，于 2011 年 1 月正式上线，以「让人们更好的分享知识、经验和见解，找到自己的解答」为品牌使命。知乎凭借认真、专业、友善的社区氛围、独特的产品机制以及结构化和易获得的优质内容，聚集了中文互联网科技、商业、影视 ...

2021年2月3日 · 递归锁允许同一个线程多次获取该互斥锁，可以用来解决同一线程需要多次获取互斥量时死锁的问题。

2017年9月7日 · 推荐一本书《组合数学》第5版，其中第7章递推关系和生成函数里面就介绍了关于线性递推数列与线性微分方程之间的关系，其中所谓数列的特征方程，其实是与矩阵有很大联系的。