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

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

Оглавление1 Комбинаторная логика1.1 Основы комбинаторной логики1.2 Правила преобразования1.3 Примеры и приложения2 Комбинаторная логика — Википедия Комбинаторная логика Основы комбинаторной логики […]

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

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

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

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

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

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

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

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

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

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

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

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

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

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