File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
лямбда-исчисление
Also known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
Формализм в математической логике
Wikidata facts
- Image
- Un terme avec liens version 2.png
Show 2 more facts
- Commons category
- Lambda calculus
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
Sources (3)
via Wikidata · CC0
Article · Русский
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Abstract from DBpedia / Wikipedia · CC BY-SA