Поиск
Эквивалентность пяти классов функций элементарных по Кальмару
... рекурсии.
L
5
Класс функций, получаемый из функций s
1
, I
n
m
, x-y, x*y, S, а также конечного применения операции мультиплицирования.
Доказательство будем ... .... L
5
= 642;
L
3
Докажем, что
L
1
= 642;
L
2
(для этого выразим 2
x
через функции
L
1
)
Докажем, что
L
2
= 642;
L
3
(для этого выразим x*y и операцию ...