Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Лямбда-исчисление
11 байт убрано
,
20:51, 27 октября 2021
удалил неуместный баннер
{{nohate}}
'''Лямбда-исчисление''' (''англ. lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.
Rybak
1302
правки
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати