Изменения

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

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

21 байт добавлено, 03:08, 7 декабря 2012
Нет описания правки
{{В разработке}}
''Лямбда-исчисление'' (''lambda calculus'') {{---}} формальная система, придуманная в 1930-х годах
Алонзо Чёрчем. Лямбда-функция является, по сути, анонимной функцией.
Эта концепция показала себя удобной и сейчас активно используется во многих
403
правки

Навигация