Викиучебник

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

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Строка 445:
проверить:
 
[[Изображение:iftrue.jpg]]
<math>\begin{matrix}
if} true} x y \equiv I} K} x y \stackrel{\mathrm{I}}{=} K} x y \stackrel{\mathrm{K}}{=} x\\
\!\!\!if} false} x y \equiv I} K} I} x y \stackrel{\mathrm{I}}{=} K} I} x y \stackrel{\mathrm{K}}{=} I} y \stackrel{\mathrm{I}}{=} y
\end{matrix}</math>
 
Как можно видеть, кодирование служебного слова '''if'''
Источник — https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!