Термин (логика)

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

Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом для описания функций и […]

Elementary mathematics, Mathematical logic, Rewriting systems, Математическая логика, Системы переписывания, Элементарная математика

Термин (логический)

  • Статья представляет собой введение в лямбда-исчисление и его применение в программировании. 
  • Лямбда-исчисление является формализмом для описания функций и их применения. 
  • В лямбда-исчислении используются символы переменных, лямбда-термины и функциональные символы. 
  • Лямбда-термины могут обозначать анонимные функции и использоваться для обозначения функций второго порядка. 
  • Определение лямбда-терминов включает абстракцию и приложение. 
  • Лямбда-исчисление может быть использовано для описания математических записей и преобразования инфиксных операторов в префиксную форму. 

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

Термин (логика) — Википедия

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

  1. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
  2. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
  3. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
  4. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
  5. Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые...
  6. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
  7. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
  8. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...
  9. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...
  10. Конечнозначная логика Конечнозначная логика Конечнозначная логика — логическое исчисление высказываний с дискретными истинностными значениями.  Традиционная бивалентная логика Аристотеля...
  11. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Типизированные лямбда-вычисления являются фундаментальными языками программирования и основой типизированных функциональных языков.  Они играют важную...
  12. Лямбда-куб — ​​Википедия Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов.  Включает в себя...
  13. Комбинаторная логика Комбинаторная логика Основы комбинаторной логики Комбинаторная логика — это формальная система, основанная на комбинаторах, введенных в...
  14. Астрономические символы Астрономические символы История астрономических символов Астрономические символы использовались для обозначения небесных тел с древних времен.  Символы...
  15. Явная замена Явная подстановка Явные подстановки в лямбда-исчислении Явные подстановки акцентируют внимание на формализации процесса подстановки в лямбда-исчислении. ...

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

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