Лямбда-исчисление
Лямбда-исчисление История и происхождение Лямбда-исчисление введено Алонсо Черчем в 1930-х годах. В 1936 году Черч выделил нетипизированное лямбда-исчисление. В 1940 […]
Вики
1936 in computing
Вики
Лямбда-исчисление
Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление – это формальное исчисление, основанное на лямбда-терминах. Лямбда-термины представляют собой выражения, которые могут быть вычислены с
Вики
Машина Тьюринга
Машина Тьюринга Машина Тьюринга – абстрактная вычислительная модель, предложенная Аланом Тьюрингом в 1936 году. Машина Тьюринга состоит из ленты, головки
Вики
Лямбда-исчисление
Лямбда-исчисление Лямбда-исчисление – формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые могут быть вычислены с