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

Содержимое удалено Содержимое добавлено
Строка 260:
<math>(\mathbf{SB})^1(\mathbf{KI}) = \mathbf{SB}(\mathbf{KI})</math>,
 
<math>(\mathbf{SB})^2(\mathbf{KI}) = \mathbf{SB}(\mathbf{SB})(\mathbf{KI}))</math>,
 
<math>(\mathbf{SB})^3(\mathbf{KI}) = \mathbf{SB} \Big( \mathbf{SB}(\mathbf{SB}) \Big) (\mathbf{KI}))\Big)</math>
 
и так далее. То есть по индукции эти объекты можно определить как: