Свежая переменная

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

Оглавление1 Новая переменная1.1 Определение новой переменной1.2 Применение новых переменных1.3 Пример использования1.4 Рекомендации2 Свежая переменная — Википедия Новая переменная Определение новой […]

Automated theorem proving, Computer algebra, Logic stubs, Rewriting systems, Variables (mathematics), Автоматическое доказательство теорем, Компьютерная алгебра, Логические заглушки, Переменные (математика), Системы переписывания

Новая переменная

  • Определение новой переменной

    • Новая переменная – это переменная, не встречавшаяся в контексте до этого. 
    • Используется для замены других переменных или устранения затенения. 

  • Применение новых переменных

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

  • Пример использования

    • При переписывании терминов для избежания столкновений с переменными в других выражениях. 
    • В примере с правилом и термином показывает, как замена правила новой копией позволяет успешно выполнить подстановку. 

  • Рекомендации

    • Статья является заглушкой и нуждается в расширении. 
    • Читателей просят помочь Википедии, расширив статью. 

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

Свежая переменная — Википедия

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

  1. История Новой Англии Оглавление1 История Новой Англии1.1 История Новой Англии1.2 Колониальная эпоха1.3 Доминион Новой Англии1.4 Правительство колоний1.5 Население и...
  2. Список миссий НАСА Оглавление1 Список миссий НАСА1.1 Миссии НАСА1.2 Обзор администрации Обамы1.3 Будущее1.4 Луна1.5 Ртуть1.6 Венера1.7 Марс1.8 Юпитер1.9 Сатурн1.10...
  3. Экономика Новой Зеландии Оглавление1 Экономика Новой Зеландии1.1 Экономика Новой Зеландии1.2 Социальное обеспечение и инфраструктура1.3 Отрасли и ресурсы1.4 История экономики1.5...
  4. Китайская космическая программа Оглавление1 Китайская космическая программа1.1 История китайской космической программы1.2 Развитие ракетной промышленности1.3 Попытки полетов человека в космос1.4...
  5. Реакция правительства Новой Зеландии на пандемию COVID-19 – Arc.Ask3.Ru Оглавление1 New Zealand government response to the COVID-19 pandemic1.1 Реакция на пандемию COVID-19 в Новой Зеландии1.2...
  6. Доминирующая партийная система Оглавление1 Доминирующая партийная система1.1 Доминирующая партийная система1.2 Развитие и особенности1.3 Критика и теории1.4 Опасности и примеры1.5...
  7. Город в Новой Англии Оглавление1 Городок в Новой Англии1.1 Города как основная единица местного самоуправления в Новой Англии1.2 Система Нью-Джерси...
  8. Список рекордов космических полетов Оглавление1 Список записей о космических полетах1.1 Мировые рекорды в космонавтике1.2 Космические рекорды США1.3 Космические рекорды России1.4...
  9. Папуа (провинция) Оглавление1 Папуа (провинция)1.1 География и границы1.2 История и колонизация1.3 Административное деление1.4 Природные ресурсы и экономика1.5 Население...
  10. Эндогенность (эконометрика) Оглавление1 Эндогенность (эконометрика)1.1 Эндогенность в эконометрике1.2 Методы смягчения эндогенности1.3 Экзогенность и эндогенность1.4 Статические модели1.5 Одновременность1.6 Динамические...
  11. Альтернативная история Оглавление1 Альтернативная история1.1 Определение альтернативной истории1.2 История жанра1.3 Основные элементы1.4 Примеры произведений1.5 Альтернативная история и её...
  12. Закон о гражданстве Австралии Оглавление1 Австралийский закон о гражданстве1.1 Австралийский закон о гражданстве1.2 История колониальной эпохи1.3 Дискриминационная политика1.4 Политика после...
  13. Переменная (информатика) Оглавление1 Переменная (информатика)1.1 Определение переменной1.2 Типы переменных1.3 Распределение и освобождение памяти1.4 Именование переменных1.5 Использование переменных1.6 Примеры...
  14. Временная переменная Оглавление1 Временная переменная1.1 Определение временной переменной1.2 Примеры использования временных переменных1.3 Именование временных переменных1.4 Использование временных данных...
  15. Хронология пандемии COVID-19 в сентябре 2021 года – Arc.Ask3.Ru Оглавление1 Timeline of the COVID-19 pandemic in September 20211.1 Хронология и эпидемиология COVID-191.2 Статистика случаев и...
  16. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  17. Унификация (информатика) Оглавление1 Унификация (информатика)1.1 Основы унификации1.2 Типы унификации1.3 Примеры унификации1.4 Унификация и подстановка1.5 Решение задач унификации1.6 Полный...
  18. Slack переменная Оглавление1 Переменная провисания1.1 Определение и использование переменных Slack1.2 Пример использования переменных Slack1.3 Вложение многогранника в ортант1.4...
  19. Неинициализированная переменная Оглавление1 Неинициализированная переменная1.1 Неинициализированные переменные в программировании1.2 Пример на языке Си1.3 Утечка памяти в структурах1.4 Инициализация...
  20. Схема аксиом замены Оглавление1 Схема замены аксиомы1.1 Аксиома замены в теории множеств1.2 История аксиомы замены1.3 Влияние на развитие теории...
  21. Закон о гражданстве Новой Зеландии Оглавление1 Закон о гражданстве Новой Зеландии1.1 Закон о гражданстве Новой Зеландии1.2 История гражданства1.3 Конфликты и интеграция...
  22. Флаг Новой Англии Оглавление1 Флаг Новой Англии1.1 История флага Новой Англии1.2 Дизайн флага1.3 Происхождение флага1.4 Пуританское влияние1.5 Споры о...

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

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