Изменения

Перейти к: навигация, поиск

Лямбда-исчисление

91 байт добавлено, 12:19, 10 января 2015

Нет описания правки

<tex>(\operatorname{plus}\ \bar 3\ \bar 3)\ (+1)\ 0 \equiv 6</tex>

<tex>(\operatorname{plus}\ ((\operatorname{plus}\ 2\ 5)(+1)\ 0)\ 4)(+1)0 \equiv 11</tex>

===Умножение===

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/43935»