Мы работаем над восстановлением приложения Unionpedia в Google Play Store
ИсходящиеВходящий
🌟Мы упростили наш дизайн для улучшения навигации!
Instagram Facebook X LinkedIn

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

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

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

Содержание

  1. 17 отношения: Callback (программирование), Карри, Хаскелл, Каррирование, Комбинаторная логика, Полная решётка, Анонимная функция, Аппликативное программирование, Непрерывность по Скотту, Рекурсия, Скотт, Дана, Тип данных, Типизированное лямбда-исчисление, Терм (логика), Функциональное программирование, Чёрч, Алонзо, Шейнфинкель, Моисей Эльевич, Язык программирования.

  2. Модели вычислений
  3. Теоретическая информатика
  4. Формальные методы

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.

Посмотреть Лямбда-исчисление и Язык программирования

См. также

Модели вычислений

Теоретическая информатика

Формальные методы

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