Комбинаторы — это просто!: различия между версиями
Содержимое удалено Содержимое добавлено
Karagota (обсуждение | вклад) |
Karagota (обсуждение | вклад) |
||
Строка 490:
самому себе:
<math>(SB)^{0}(KI) =KI,
(SB)^{1}(KI) =SB(KI),
(SB)^{2}(KI) =SB(SB)(KI),
(SB)^{3}(KI) =SB(SB(SB))(KI)</math>
Строка 506:
равно определяемому нумералом числу:
<math> \overline{0}} f x = x
\overline{1}} f x = f x \overline{n}} f x = \underbrace{f(f(\ldots(f}_{n \text{раз}} x)\ldots))</math> Для этих объектов довольно простым способом можно определить функции
|