Упражнения

Показать, что следующие функции принадлежат классу PR, т.е. являются примитивно-рекурсивными.

1. Знак числа (signum)

2. Умножение x ⋅ y

3. Факториал y!

4. Возведение в целую степень x^y

5. Предшественник

y 1 ≡	{	y - 1, y ≥ 1
		0, y = 0

6. Усечённое вычитание

x y ≡	{	x - y, x ≥ y
		0, x < y

7. Абсолютная разность |x - y|

8. Наименьший из двух min(x, y)

9. Наибольший из двух max(x, y)