Условие:
Доказать общерекурсивность функции:


Доказать общерекурсивность функции:

1) Для доказательства общерекурсивности умножения используется общерекурсивность сложения т.е. используется, что Sum(x,y) = x+y общерекурсивная функция:
Не нашел нужную задачу?