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

Содержимое удалено Содержимое добавлено
Строка 486:
[[Изображение:SB1.jpg]]
 
где под записью '''<math>\mathbb{(SB)^{n}}</math>''' понимается
<math>n</math>-кратное приложение объекта <math<\mathbb{('''SB''')}</math> к
самому себе:
 
Строка 517:
для сложения, умножения и возведения в степень. Это делается
следующим образом:
 
\begin{enumerate}
#'''add}''' <math>\equiv</math> '''C}'''I}CI(SB)'''S}'''B})}.}
#'''mlt}''' <math>\equiv</math> '''B}}'''.}
#'''exp}''' <math>\equiv</math> '''C}CI'''I}}.}
 
\end{enumerate}
Доказательство данных тождеств легко проводится по индукции и
предлагается для самостоятельной проработки.