19 отношения: Callback (программирование), Карри, Хаскелл, Каррирование, Комбинаторная логика, Полная решётка, Анонимная функция, Аппликативное программирование, Непрерывность по Скотту, Рекурсия, Скотт, Дана, Тип данных, Типизированное лямбда-исчисление, Терм (логика), Функциональное программирование, Чёрч, Алонзо, Шейнфинкель, Моисей Эльевич, Язык программирования, Лямбда, 1924 год.
Callback (программирование)
Callback (call — вызов, back — обратный) или фу́нкция обра́тного вы́зова в программировании — передача исполняемого кода в качестве одного из параметров другого кода.
Новый!!: Лямбда-исчисление и Callback (программирование) · Узнать больше »
Карри, Хаскелл
Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский и. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики.
Новый!!: Лямбда-исчисление и Карри, Хаскелл · Узнать больше »
Каррирование
Каррирование (от currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента.
Новый!!: Лямбда-исчисление и Каррирование · Узнать больше »
Комбинаторная логика
Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений.
Новый!!: Лямбда-исчисление и Комбинаторная логика · Узнать больше »
Полная решётка
Полная решётка — частично упорядоченное множество, в котором всякое непустое подмножество A имеет точную верхнюю и нижнюю грань, называемые обычно объединением и пересечением элементов подмножества A и обозначаемые \vee_ a_ и \land_ a_ (или просто \vee A и \land A) соответственно.
Новый!!: Лямбда-исчисление и Полная решётка · Узнать больше »
Анонимная функция
Анонимная функция в программировании — особый вид функций, которые объявляются в месте использования и не получают уникального идентификатора для доступа к ним.
Новый!!: Лямбда-исчисление и Анонимная функция · Узнать больше »
Аппликативное программирование
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому.
Новый!!: Лямбда-исчисление и Аппликативное программирование · Узнать больше »
Непрерывность по Скотту
Непрерывность по Скотту — свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка.
Новый!!: Лямбда-исчисление и Непрерывность по Скотту · Узнать больше »
Рекурсия
Визуальная форма рекурсии (эффект Дросте) Рекурсивное изображение экрана Визуальная форма рекурсии страницы Википедии Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объекта или процесса, то есть ситуация, когда объект является частью самого себя.
Новый!!: Лямбда-исчисление и Рекурсия · Узнать больше »
Скотт, Дана
Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.
Новый!!: Лямбда-исчисление и Скотт, Дана · Узнать больше »
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Новый!!: Лямбда-исчисление и Тип данных · Узнать больше »
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами.
Новый!!: Лямбда-исчисление и Типизированное лямбда-исчисление · Узнать больше »
Терм (логика)
Терм — выражение формального языка (системы) специального вида.
Новый!!: Лямбда-исчисление и Терм (логика) · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Лямбда-исчисление и Функциональное программирование · Узнать больше »
Чёрч, Алонзо
Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Новый!!: Лямбда-исчисление и Чёрч, Алонзо · Узнать больше »
Шейнфинкель, Моисей Эльевич
Студенческий билет М. Э. Шейнфинкеля 1910 г. Моисей Эльевич Шейнфинкель (варианты отчества — Ильич и Исаевич, Moses Schönfinkel; 4 сентября 1889, Екатеринослав, Украина — 1942, Москва) — русский и советский логик и математик, известный как изобретатель комбинаторной логики.
Новый!!: Лямбда-исчисление и Шейнфинкель, Моисей Эльевич · Узнать больше »
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Новый!!: Лямбда-исчисление и Язык программирования · Узнать больше »
Лямбда
Без описания.
Новый!!: Лямбда-исчисление и Лямбда · Узнать больше »
1924 год
Без описания.
Новый!!: Лямбда-исчисление и 1924 год · Узнать больше »
Перенаправления здесь:
Α-эквивалентность, Β-редукция, Λ-исчисление, Альфа-эквивалентность, Бета-редукция, Ламбда-исчисление.