原始递归余数函数

原始递归余数函数

_

primitive recursive remainder function

primitive recursive remainder function

пословный:

原始递归余数	函数
_primitive recursive remainder	hánshù мат. функция; функциональный

близкие:

原始递归
原始递归余数
原始递归函数
原始递归属性
原始递归性
原始递归谓词