Русский | English   поискrss RSS-лента

Главная  → ИТ энциклопедия  → По алфивиту  → L  → ИТ энциклопедия

ИТ энциклопедия

lambda calculus

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

#

математическая система для определения функций, вычисления значений выражений (lambda expression) и доказательства равенства выражений. Применяется также для формального описания конструкций языков программирования. Лямбда-исчисление было предложено американским логиком Алонзо Чёрчем в 1936 году в обоснование выдвинутого им тезиса, что любой алгоритмический процесс может быть реализован в рамках этого исчисления. Далее Чёрч и Тьюринг независимо друг от друга показали, что лямбда-исчисление Чёрча эквивалентно концепции машины Тьюринга. Например, classical typed lambda calculus – классическое типизированное лямбда-исчисление.

Связные термины

expression, Haskell, language construct, Turing machine

Возврат к списку

Проект Эдуарда Пройдакова
© Совет Виртуального компьютерного музея, 1997 — 2019