通用函数
(数理逻辑 名词)
通用函数(universal function)递归证明中常用的一种函数.设△。为一个n元函数集合.若n+1元函数g满足下列两个条件:则称g为。的通用函数.设g为。的通用函数,则D= {.lx:xz. .xng <t,<二,,xz,…,二。)}t,n〔w}.。中的任何函数都可由其通用函数表示出来.正因为如此,乙的通用函数也称为乙的枚举函数.
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
数理逻辑
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多