说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可化归性公理
1)  axiom of reducibility
可化归性公理
2)  recursively axiomatizable
递归可公理化
3)  recursively axiomatizable
递归可公理化的
4)  countability axioms
可数性公理
5)  axiom of accessibility
可达性公理
6)  recursively enumerable sets/recursivelycontrolled Turing reducibility
递归可枚举集/递归控制Turing可化归性
补充资料:递归
分子式:
CAS号:

性质:将一个操作或一组操作多步重复的一种特定的处理过程。这种过程的某一步要用到它自身的上一步(或上几步)的结果。在人工智能语言中,大量使用递归调用。

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条