1) recursively axiomatizable
递归可公理化的
2) recursively axiomatizable
递归可公理化
3) axiom of reducibility
可化归性公理
4) recursively enumerable
递归可数的
5) recursively computable
递归可计算的
6) recursively enumerable sets/recursivelycontrolled Turing reducibility
递归可枚举集/递归控制Turing可化归性
补充资料:递归
分子式:
CAS号:
性质:将一个操作或一组操作多步重复的一种特定的处理过程。这种过程的某一步要用到它自身的上一步(或上几步)的结果。在人工智能语言中,大量使用递归调用。
CAS号:
性质:将一个操作或一组操作多步重复的一种特定的处理过程。这种过程的某一步要用到它自身的上一步(或上几步)的结果。在人工智能语言中,大量使用递归调用。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条