递归论科技名词
递归论科技名词:第3页
极大集
maximal set
单[纯]集
simple set
极小对
minimal pair
度
degree
极小度
minimal degree
一一可归约性
one-one reducibility
谕示
oracle
多一可归约性
many one reducibility
真假值表归约性
truth table reducibility
弱真假值表归约性
weak truth table reducibility
序数记号
ordinal notation
递归序数
recursive ordinal
孤[立]元
isol
α有限
α-finite;alpha-finite
α递归性
α-recursion;alpha-recursion
递归可公理化
recursively axiomatizable
递归分析
recursive analysis
递归算术
recursive arithmetic
归约
reduction
图灵归约
Turing reduction
首页
上一页
第3页
递归论 的上级学科
数学
数理逻辑数学基础