递归证明
_
proof by recursion
пословный:
递归 | 证明 | ||
мат. рекурсия; рекурсивный
|
1) свидетельствовать, доказывать, удостоверять; свидетельствующий, удостоверяющий
2) быть надлежаще засвидетельствованным (удостоверенным); доказанный, удостоверенный
3) свидетельство, доказательство
|