Get Babylon's Translation Software!
Free Download Now!
| Русская Википедия - свободная энциклопедия | Скачать словарь |
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление, ламбда-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.-исчисление может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Языки в этом семействе являются функциональными, поскольку они основаны на представлении о функции или операторе, включая функциональную аппликацию и функциональную абстракцию.
Продолжение на Wikipedia.οrg...
© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU
