Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Лямбда-исчисление
61 байт убрано
,
01:25, 12 января 2015
Нет описания правки
|definition=
<tex>
\Lambda \to
A\ \lambda\ V\ .\ \Lambda\ |\ \lambda\
V
\ .\ \Lambda
\\\Lambda \to
A\\
A \to A
\
Lambda
@
\
\Lambda\
|\ V\ |
\ \Lambda\
|
to
\
lambda
V
.
\
\
V \to Char+
lambda
\\
</tex>
}}
Анонимный участник
188.227.78.144
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати