一般递归函数相关论文
介绍了一种通用的可以将Turbo C中一般递归函数转换为非递归函数变化规则....
<正> 首先我想声明两点. 第一,我对直觉主义是一个外行.既未曾选读过有关的课程,也未曾和直觉主义者碰面过,因此我对直觉主义逻辑......
<正> §1.一般递归函数的范式问题本文假定读者知道“一般递归函数”和“原始递归函数”的定义(这些定义见 Kleene和 Peter).以下......
