Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости...

Franklin Gothic) Л выглядит как Λ. Космологическая постоянная Модель Лямбда-CDM Лямбда-частицы в физике частиц В спектральном разложении матрицы — диагональная...

Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами...

математической логике: Логическое исчисление (основная статья) Исчисление высказываний Исчисление предикатов Лямбда-исчисление Исчисление Ламбека Список значений...

(полиморфное лямбда-исчисление высшего порядка с зависимыми типами) фактически представляет собой исчисление конструкций. Все системы лямбда-куба обладают...

высших порядков (Логики высшего порядка) Лямбда-исчисление Лямбда-исчисление с типами Исчисление конструкций Исчисление индуктивных конструкций Клини С. К....

Термином «лямбда-функция» в точных науках может называться практически любая функция, обозначаемая греческой буквой «лямбда» (λ или Λ). Примеры распространённых...

типизированное лямбда-исчисление, то есть лямбда-исчисление, дополненное системой типов Хиндли — Милнера. Prolog — исчисление предикатов. Mercury — исчисление предикатов...

Просто типизированное лямбда-исчисление (простое типизированное лямбда-исчисление, лямбда-исчисление с простыми типами, система λ → {\displaystyle \lambda...

Matita[англ.]). Среди вариантов исчисления — исчисление индуктивных конструкций (использует индуктивные типы), исчисление коиндуктивных конструкций (с применением...

обеспечивают функции без побочных эффектов — чистые функции[⇨]). Лямбда-исчисление является основой для функционального программирования, многие функциональные...