Лямбда-мю-исчисление

Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ в теории вычислимости и […]

Лямбда-математический анализ

  • Основы лямбда-мю-исчисления

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

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

    • Основные правила редукции включают применение оператора μ и оператора скобок. 
    • Правила редукции приводят к слитному математическому анализу. 
  • Дополнительные правила сокращения

    • Можно добавить дополнительные правила сокращения для более четкого представления нормальной формы. 
  • Ссылки и дискуссия

    • Упомянуты классические системы чистых типов для обобщений лямбда-исчисления. 
    • Обсуждается дискуссия о лямбда-мю на форуме Lambda the Ultimate. 

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

Лямбда-мю-исчисление — Википедия, бесплатная энциклопедия

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

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