通用函数

（数理逻辑 名词）
通用函数(universal function)递归证明中常用的一种函数.设△。为一个n元函数集合.若n+1元函数g满足下列两个条件:则称g为。的通用函数.设g为。的通用函数，则D= {.lx:xz. .xng <t，<二，,xz，…，二。)}t，n〔w}.。中的任何函数都可由其通用函数表示出来.正因为如此，乙的通用函数也称为乙的枚举函数.
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：