Приложение-функция

От / / Оставьте комментарий

Применение функции Применение функции в математике – акт применения функции к аргументу для получения значения из диапазона.  Применение функции изображается […]

Functions and mappings, Mathematical analysis stubs, незавершенные статьи по математическому анализу, Функции и отображения

Применение функции

  • Применение функции в математике – акт применения функции к аргументу для получения значения из диапазона. 
  • Применение функции изображается сопоставлением переменной, представляющей функцию, с аргументом. 
  • В некоторых случаях используются другие обозначения для применения функции без использования круглых скобок. 
  • Применение функции является левоассоциативным, что влияет на способ представления аргументов. 
  • Оператор application может быть определен как оператор apply или $, который может использоваться для сокращения количества круглых скобок в выражении. 
  • Применение функции в лямбда-исчислении выражается β-редукцией и связано с логическим правилом modus ponens через соответствие Карри-Говарда. 

Полный текст статьи:

Приложение-функция — Википедия

Похожие статьи:

  1. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  2. Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
  3. Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
  4. Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
  5. Стратегия сокращения Оглавление1 Стратегия сокращения выбросов1.1 Основы лямбда-исчисления1.2 Редукция нормального порядка1.3 Параллельная редукция1.4 Стратегии сокращения1.5 Лямбда-исчисление и редукция1.6...
  6. Переписка Карри-Ховарда Оглавление1 Переписка Карри и Говарда1.1 Основы соответствия Карри-Говарда1.2 Связь с интуиционистской логикой1.3 Связь с типизированным лямбда-исчислением1.4...
  7. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
  8. Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
  9. Номер Лобба Число лоббистов Число Лобба Lm, n подсчитывает расположение n + m открытых и n – m...
  10. Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
  11. Лямбда-барион Оглавление1 Лямбда-барион1.1 Определение и свойства лямбда-барионов1.2 Открытие и свойства1.3 Экспериментальные подтверждения1.4 Наблюдения в атомных ядрах1.5 Типы...
  12. Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
  13. Преобразование Фурье Оглавление1 Преобразование Фурье1.1 Преобразование Фурье1.2 История и применение1.3 Определение и свойства1.4 Интегрируемые функции Лебега1.5 Унитарность и...
  14. Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление – формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые...
  15. Оператор Дирака Оператор Дирака Оператор Дирака – дифференциальный оператор, формальный квадратный корень или полуитерация оператора второго порядка.  Первоначальная...
  16. Термин (логика) Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом...
  17. Язык Дейка Оглавление1 Язык Дейка1.1 Определение и свойства языка Дейка1.2 Примеры и классификация сложности1.3 Эквивалентность и разбиение на...
  18. Унлямбда Оглавление1 Унламбда1.1 Основные принципы Unlambda1.2 Основные функции и операторы1.3 Расширенные функции версии 21.4 Дополнительные ресурсы2 Унлямбда...
  19. Условный оператор Оглавление1 Условный оператор1.1 Определение условного оператора1.2 Отличие от побитовых операторов1.3 Использование в Java1.4 Синтаксис условного оператора1.5...
  20. Преобразование Фурье – Arc.Ask3.Ru Оглавление1 Преобразование Фурье1.1 Преобразование Фурье1.2 История и применение1.3 Определение и свойства1.4 Интегрируемые функции1.5 Расширение на L2(R)1.6...
  21. Просто типизированное лямбда-исчисление Оглавление1 Просто набранное лямбда-исчисление1.1 Основы просто типизированного лямбда-исчисления1.2 Синтаксис и семантика1.3 Операции и типы1.4 Категориальная семантика...
  22. Лямбда-куб — ​​Википедия Оглавление1 Лямбда-кубик1.1 Определение лямбда-куба1.2 Системы в лямбда-кубе1.3 Сравнение с другими системами1.4 Общие свойства1.5 Подтипы и дальнейшие...

Оставьте комментарий