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

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

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

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

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

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

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

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

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

  1. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
  2. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
  3. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
  4. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
  5. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
  6. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
  7. Номер Лобба Число лоббистов Число Лобба Lm, n подсчитывает расположение n + m открытых и n — m...
  8. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...
  9. Зависимый тип Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. ...
  10. Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые...
  11. Оператор Дирака Оператор Дирака Оператор Дирака — дифференциальный оператор, формальный квадратный корень или полуитерация оператора второго порядка.  Первоначальная...
  12. Термин (логика) Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом...
  13. Унлямбда Унламбда Основные принципы Unlambda Unlambda — это функциональный язык программирования без лямбда-оператора и свободных переменных.  Он...
  14. Язык Дейка Язык Дейка Определение и свойства языка Дейка Язык Дейка состоит из слов, которые можно прочитать слева...
  15. Условный оператор Условный оператор Определение условного оператора Условный оператор поддерживает многие языки программирования, включая C, C++, C#, и...
  16. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...
  17. Лямбда-куб — ​​Википедия Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов.  Включает в себя...
  18. Оператор Switch Оператор переключения Основы оператора switch Оператор switch используется для выбора одного из нескольких блоков кода на...
  19. Оператор композиции Оператор композиции Определение и применение оператора композиции Оператор композиции в математике определяется как линейная функция, которая...
  20. Параллель (оператор) Параллельный (оператор) Параллельный оператор — математическая функция, используемая в электротехнике, кинетике, гидромеханике и финансовой математике.  Оператор...
  21. Оператор умножения Оператор умножения Определение оператора умножения Оператор Tf умножает функцию φ на фиксированную функцию f  Значение Tfφ(x)...
  22. Явная замена Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении. ...

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

Прокрутить вверх