Необходимо доказать, что функции макс от (икс, игрек) и...
Решение задачи на тему
Необходимо доказать, что функции макс от (икс, игрек) и мин от (икс, игрек) примитивно рекурсивны. Функции макс от (икс, игрек) и мин от (икс, игрек) определяются через усечённую разность.
Логика
Условие:
Доказать, что функции max(x, y) и min(x, y) примитивно рекурсивны.
Решение:
Функции max(x, y) и min(x, y) определяются через усечённую разность: