Выражение (математика)
- Выражение – это математическая конструкция, которая может быть оценена как истинное или ложное.
- Выражения могут содержать переменные, которые могут быть классифицированы как свободные или связанные.
- Формальная семантика заключается в придании значения выражениям.
- Формальные языки позволяют формализовать концепцию правильно сформированных выражений.
- Лямбда-выражения используются для формализации функций и их вычисления.
- Эквивалентность двух лямбда-выражений неразрешима.
Полный текст статьи:
Выражение (математика) — Википедия
Похожие статьи:
- Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
- Выражение Let Оглавление1 Пусть выражение1.1 Преобразование выражений let в лямбда-выражения1.2 Примеры и правила1.3 Правила преобразования1.4 Эквивалентность преобразований2 Выражение...
- Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 Основы лямбда-исчисления1.2 Альфа-эквивалентность и свободные переменные1.3 Примеры лямбда-терминов1.4 Редукция и условия свежести2 Лямбда-исчисление —...
- Предикат (грамматика) Оглавление1 Сказуемое (грамматика)1.1 Одушевленность и падежи1.2 Необычная тема и падежи1.3 Числительное, массовое и собирательное существительные1.4 Определенность...
- Лямбда Оглавление1 Лямбда-сигнал1.1 История и значение буквы “Лямбда”1.2 Варианты и использование в истории1.3 Символическое использование1.4 Лямбда в...
- История математики Оглавление1 История математики1.1 История математики1.2 Доисторический период1.3 Вавилонская математика1.4 Египетская математика1.5 Изучение математики в Египте1.6 Греческая...
- М-выражение Оглавление1 M-выражение1.1 История M-выражений1.2 Синтаксис и использование1.3 Разработка и принятие1.4 Дальнейшие разработки1.5 Современные реализации1.6 Полный текст...
- Типизированное лямбда-исчисление Оглавление1 Типизированное лямбда-исчисление1.1 Основы типизированных лямбда-исчислений1.2 Виды типизированных лямбда-исчислений1.3 Приложения к языкам программирования1.4 Дальнейшее чтение2 Типизированное...
- Зависимый тип Оглавление1 Зависимый тип1.1 Основы теории зависимых типов1.2 Типы и функции в лямбда-исчислении1.3 Зависимые типы и их...
- Определение лямбда-исчисления Оглавление1 Определение лямбда-исчисления1.1 Определение лямбда-исчисления1.2 Каноническое определение лямбда-исчисления1.3 Операторы и правила1.4 Стратегии оценки1.5 Нормальная форма и...
- Философия математики – Arc.Ask3.Ru Оглавление1 Философия математики1.1 Философия математики1.2 Реальность1.3 Логика и строгость1.4 Связь с науками1.5 Необоснованная эффективность1.6 История1.7 История...
- Философия математики – Arc.Ask3.Ru Оглавление1 Философия математики1.1 Философия математики1.2 Реальность1.3 Логика и строгость1.4 Связь с науками1.5 Необоснованная эффективность1.6 История1.7 История...
- Стратегия сокращения Оглавление1 Стратегия сокращения выбросов1.1 Основы лямбда-исчисления1.2 Редукция нормального порядка1.3 Параллельная редукция1.4 Стратегии сокращения1.5 Лямбда-исчисление и редукция1.6...
- Переписка Карри-Ховарда Оглавление1 Переписка Карри и Говарда1.1 Основы соответствия Карри-Говарда1.2 Связь с интуиционистской логикой1.3 Связь с типизированным лямбда-исчислением1.4...
- S-выражение Оглавление1 S-выражение1.1 Определение и использование S-выражений1.2 Синтаксис и типы данных1.3 Поддержка Юникода и рекурсия1.4 Применение в...
- Выражение (информатика) Оглавление1 Экспрессия (информатика)1.1 Определение выражения в информатике1.2 Процесс вычисления выражений1.3 Различие между выражениями и операторами1.4 Побочные...
- Лямбда-барион Оглавление1 Лямбда-барион1.1 Определение и свойства лямбда-барионов1.2 Открытие и свойства1.3 Экспериментальные подтверждения1.4 Наблюдения в атомных ядрах1.5 Типы...
- Лямбда-мю-исчисление Оглавление1 Лямбда-математический анализ1.1 Основы лямбда-мю-исчисления1.2 Семантика и формальное определение1.3 Правила редукции1.4 Дополнительные правила сокращения1.5 Ссылки и...
- Вотум недоверия – Arc.Ask3.Ru Оглавление1 Предложение о выражении недоверия1.1 Ходатайство и вотум недоверия1.2 Различия в процедурах1.3 Примеры из разных стран1.4...
- Логическое выражение Оглавление1 Логическое выражение1.1 Определение логического выражения1.2 Структура логического выражения1.3 Логические операторы1.4 Операторы короткого замыкания1.5 Примеры логических...
- Регулярное выражение Оглавление1 Обычное выражение1.1 Основы регулярных выражений1.2 История и развитие1.3 Синтаксис и метасимволы1.4 Стандарты и совместимость1.5 Классы...
- Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление – формальное исчисление для описания вычислений с использованием лямбда-терминов. Лямбда-термины представляют собой выражения, которые...