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