Викиучебник

Комбинаторы — это просто!: различия между версиями

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 490:
самому себе:
 
<math>(SB)^{0}(KI) =KI,</math>
 
(SB)^{1}(KI) =SB(KI),▼
<math>(SB)^{21}(KI) =SB(SB)(KI),</math>
 
(SB)^{3}(KI) =SB(SB(SB))(KI)</math>▼
▲<math>(SB)^{12}(KI) =SB(SB)(KI),</math>
 
▲<math>(SB)^{3}(KI) =SB(SB(SB))(KI)</math>
 
и т. д. Т. е. по индукции эти объекты можно определить как:
Строка 506 ⟶ 509 :
равно определяемому нумералом числу:
 
<math> \overline{0}} f x = x</math>
<math> \overline{1}} f x = f x</math>
<math> \overline{n}} f x = \underbrace{f(f(\ldots(f}_{n \text{раз}} x)\ldots))</math>
 
Для этих объектов довольно простым способом можно определить функции
Источник — https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!