Поиск
 
Найдено: 1
Область поиска: теги — функции [x] конечного [x]

Эквивалентность пяти классов функций элементарных по Кальмару

... рекурсии. 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 и операцию ...