Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Лямбда-исчисление

Индекс Лямбда-исчисление

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

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 год · Узнать больше »

Перенаправления здесь:

Α-эквивалентность, Β-редукция, Λ-исчисление, Альфа-эквивалентность, Бета-редукция, Ламбда-исчисление.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »