Комбинаторная логика

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

Комбинаторная логика Основы комбинаторной логики Комбинаторная логика — это формальная система, основанная на комбинаторах, введенных в 1924 году.  Комбинаторы — […]

Combinatory logic, Lambda calculus, Logic in computer science, Комбинаторная логика, Логика в информатике, Лямбда-исчисление

Комбинаторная логика

  • Основы комбинаторной логики

    • Комбинаторная логика — это формальная система, основанная на комбинаторах, введенных в 1924 году. 
    • Комбинаторы — это фундаментальные элементы, которые могут быть использованы для создания других комбинаторов. 
    • Комбинаторные термины — это выражения, которые могут быть преобразованы в другие комбинаторные термины с помощью правил преобразования. 

  • Правила преобразования

    • Правила преобразования включают упрощение комбинаторов, таких как S, K, I, B, и C. 
    • Правила преобразования позволяют преобразовывать лямбда-термины в комбинаторные термины и наоборот. 

  • Примеры и приложения

    • Примеры включают преобразование лямбда-терминов в комбинаторные термины и обратно. 
    • Комбинаторы использовались в программировании, например, в языке SASL и J. 
    • Комбинаторная логика связана с логикой и программированием через изоморфизм Карри-Говарда. 
    • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала. 

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

Комбинаторная логика — Википедия

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

  1. Комбинаторное исчисление SKI ЛЫЖНЫЙ комбинаторный расчет Основы комбинаторной логики Комбинаторная логика — это система, которая позволяет создавать сложные выражения...
  2. Бинарная комбинаторная логика Бинарная комбинаторная логика Определение и основы BCL Двоичная комбинаторная логика использует двоичные символы для формулирования комбинаторной...
  3. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
  4. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
  5. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
  6. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
  7. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
  8. Комбинаторная химия Комбинаторная химия Основы комбинаторной химии Комбинаторная химия — это метод синтеза большого количества молекул с заданными...
  9. Подать заявку Применять Определение и применение карри Карри — это функция, которая принимает функцию и возвращает новую функцию,...
  10. Система B, C, K, W Система B, C, K, W Основы комбинаторной логики Система B, C, K, W использует примитивные комбинаторы...
  11. Допустимое правило Допустимое правило Основы допустимых правил Допустимые правила — это правила, которые могут быть выведены из аксиом...
  12. Лямбда-куб — ​​Википедия Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов.  Включает в себя...
  13. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...
  14. Термин (логика) Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом...
  15. Выражение Let Пусть выражение Преобразование выражений let в лямбда-выражения Выражения let могут быть преобразованы в лямбда-выражения с использованием...
  16. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...
  17. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
  18. Карри Приготовление карри Определение и применение каррирования Каррирование — это преобразование функции с несколькими аргументами в функцию...

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

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