Термин (логический)
- Статья представляет собой введение в лямбда-исчисление и его применение в программировании.
- Лямбда-исчисление является формализмом для описания функций и их применения.
- В лямбда-исчислении используются символы переменных, лямбда-термины и функциональные символы.
- Лямбда-термины могут обозначать анонимные функции и использоваться для обозначения функций второго порядка.
- Определение лямбда-терминов включает абстракцию и приложение.
- Лямбда-исчисление может быть использовано для описания математических записей и преобразования инфиксных операторов в префиксную форму.
Полный текст статьи:
Термин (логика) — Википедия
Похожие статьи:
- Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
- Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
- Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
- Стратегия сокращения Оглавление1 Стратегия сокращения выбросов1.1 Основы лямбда-исчисления1.2 Редукция нормального порядка1.3 Параллельная редукция1.4 Стратегии сокращения1.5 Лямбда-исчисление и редукция1.6...
- Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
- Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
- Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление – формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые...
- Переписка Карри-Ховарда Оглавление1 Переписка Карри и Говарда1.1 Основы соответствия Карри-Говарда1.2 Связь с интуиционистской логикой1.3 Связь с типизированным лямбда-исчислением1.4...
- Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
- Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
- Просто типизированное лямбда-исчисление Оглавление1 Просто набранное лямбда-исчисление1.1 Основы просто типизированного лямбда-исчисления1.2 Синтаксис и семантика1.3 Операции и типы1.4 Категориальная семантика...
- Матрица терминов документа Оглавление1 Матрица терминов документа1.1 Основы матрицы терминов документа1.2 Применение в обработке естественного языка и компьютерном анализе...
- Упрощенные китайские иероглифы Оглавление1 Упрощенные китайские иероглифы1.1 История упрощения китайских иероглифов1.2 Процесс упрощения1.3 Второй раунд упрощения1.4 Современные усилия1.5 Номенклатура...
- Лямбда-барион Оглавление1 Лямбда-барион1.1 Определение и свойства лямбда-барионов1.2 Открытие и свойства1.3 Экспериментальные подтверждения1.4 Наблюдения в атомных ядрах1.5 Типы...
- Конечнозначная логика Конечнозначная логика Конечнозначная логика – логическое исчисление высказываний с дискретными истинностными значениями. Традиционная бивалентная логика Аристотеля...
- Типизированное лямбда-исчисление Типизированное лямбда-исчисление Типизированные лямбда-вычисления являются фундаментальными языками программирования и основой типизированных функциональных языков. Они играют важную...
- Лямбда-куб — Википедия Оглавление1 Лямбда-кубик1.1 Определение лямбда-куба1.2 Системы в лямбда-кубе1.3 Сравнение с другими системами1.4 Общие свойства1.5 Подтипы и дальнейшие...
- Ненавидящий себя еврей Оглавление1 Ненавидящий себя еврей1.1 Термины и их значение1.2 История и контекст1.3 Немецкие корни1.4 Развитие концепции1.5 Современное...
- Ненавидящий себя еврей Оглавление1 Ненавидящий себя еврей1.1 Термины и их значение1.2 История концепции1.3 Критика и разногласия1.4 Исторический контекст1.5 Современное...
- Заявление о подтверждении контакта с COVID-19 Оглавление1 Заявка на подтверждение контакта с COVID-191.1 Приложение для подтверждения контакта с COVID-19 (COCOA)1.2 Развитие и...
- Комбинаторная логика Оглавление1 Комбинаторная логика1.1 Основы комбинаторной логики1.2 Правила преобразования1.3 Примеры и приложения2 Комбинаторная логика — Википедия Комбинаторная...
- Астрономические символы Оглавление1 Астрономические символы1.1 История астрономических символов1.2 Символы планет1.3 Символы астероидов1.4 Символы транснептуновых объектов1.5 Символы зодиака и...