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

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

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

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

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

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

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

система, клеточный автомат с правилом 110, ингибиторная сеть Петри, лямбда-исчисление с бета-редукцией, неограниченные грамматики. Неполны по Тьюрингу конечные...

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

Центавра); прямого восхождения, RA — одной из небесных координат; в лямбда-исчислении — α {\displaystyle \alpha } -конверсия; коволюма пороховых газов во...

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

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

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

естественных языков. С математической точки зрения исчисление Ламбека является фрагментом линейной логики. Исчисление Ламбека можно определить несколькими эквивалентными...

котором это выражение использовано. Используя лямбда-выражения, можно объявлять функции в любом месте кода. Лямбда-выражения поддерживаются во многих языках...

изложил исчисление высказываний, или пропозициональное исчисление, функциональные исчисления первого порядка, чистое функциональное исчисление первого...

Нотацию параметрического полиморфизма как развитие лямбда-исчисления (названную полиморфным лямбда-исчислением или Системой F) формально описал логик Жан-Ив...

типизированному λ-исчислению, логика высказываний второго порядка[англ.] — полиморфному λ-исчислению, исчисление предикатов — λ-исчислению с зависимыми типами...

Арифметика и теория чисел Геометрия Комбинаторика Лямбда-исчисление Математическая логика, включая само исчисление конструкций и Pure Type Systems Математический...

включёнными в этот релиз, были средства функционального программирования: лямбда-исчисление, map, filter и свёртка списка. Ван Россум утверждал, что «Python приобрёл...

назван в честь Алонзо Чёрча, разработавшего лямбда-исчисление. Поскольку в чистом (бестиповом) лямбда-исчислении, в отличие от многих формальных систем (где...

рекурсивные функции Гильберта и Аккермана (структурное программирование), лямбда-исчисление Чёрча (функциональное программирование), нормальные алгорифмы Маркова...

представления и выполнения компьютерных программ также является особенностью лямбда-исчисления, разработанного Алонзо Чёрчем в 1930-х. Однако первое предложение...

рекурсивной композиции конструкторов типов. Просто типизированное лямбда-исчисление можно рассматривать как язык с единственным конструктором типов —...

физике; второй по яркости звезды в созвездии — астрономия; β-редукции в лямбда-исчислении. Кроме того: бета-версией называется выпуск программного обеспечения...

логика и лямбда-исчисление были отнесены к неклассическим логикам. Дело заключается в том, что комбинаторная логика возникла в 1920-х годах, а лямбда-исчисление —...

Теорема Чёрча — Россера — одна из основных теорем лямбда-исчисления, утверждающая что порядок применения правил редукции к термам не влияет на конечный...

аргументов в рамках очень простых теоретических систем, таких как лямбда-исчисление. В рамках теории множеств каррирование — это соответствие между множествами...

(полиморфное лямбда-исчисление, система λ 2 {\displaystyle \lambda 2} , типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления...

Пояснения Например, Boost.Lambda позиционируется как лямбда-функция, однако C++ не воплощает лямбда-исчисление Чёрча целиком; имитация комбинаторов посредством...

предложенную Хаскеллом Карри в 1930 году, а также исходный вариант лямбда-исчисления, разработанный Алонзо Чёрчем в 1932—1933. Парадокс был представлен...