Слабая интерпретируемость

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

Оглавление1 Слабая интерпретируемость1.1 Определение слабой интерпретируемости1.2 Обобщение понятия слабой интерпретируемости1.3 Примеры и рекомендации1.4 Полный текст статьи:2 Слабая интерпретируемость Слабая интерпретируемость […]

Proof theory, Теория доказательств

Слабая интерпретируемость

  • Определение слабой интерпретируемости

    • Слабая интерпретируемость – это возможность перевода логических теорий с сохранением логической структуры. 
    • Альфред Тарский ввел это понятие в 1953 году. 

  • Обобщение понятия слабой интерпретируемости

    • Георгий Джапаридзе ввел понятие толерантности в 1992 году, которое является обобщением слабой интерпретируемости. 

  • Примеры и рекомендации

    • В статье приведены примеры и рекомендации по форматированию текста в HTML. 
    • Статья написана в соавторстве с Анджеем Мостовским и Рафаэлем М. Робинсоном. 

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

Слабая интерпретируемость

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

  1. Интерпретируемость Оглавление1 Интерпретируемость1.1 Определение интерпретируемости в математической логике1.2 Связь с другими понятиями1.3 Дополнительные ресурсы1.4 Призыв к действию1.5...
  2. Слабая связь Оглавление1 Ослабленная муфта1.1 Определение слабосвязанной системы1.2 Преимущества и недостатки1.3 Интеграция и архитектура1.4 Уменьшение сцепления1.5 Примеры в...
  3. Слабая дуальность Оглавление1 Слабая двойственность1.1 Основы слабой двойственности1.2 Применение слабой двойственности1.3 Теорема о слабой двойственности1.4 Обобщения слабой двойственности1.5...
  4. Слабая сходимость (гильбертово пространство) Оглавление1 Слабая сходимость (гильбертово пространство)1.1 Определение слабой сходимости1.2 Свойства слабой сходимости1.3 Пример слабой сходимости1.4 Теорема Банаха-Сакса1.5...
  5. Слабая топология Слабая топология Топология – это структура, определяющая, как элементы пространства связаны друг с другом.  В топологии...
  6. Слабая куча Оглавление1 Слабая куча1.1 Описание слабой кучи1.2 Инварианты и структура1.3 Операции со слабыми кучами1.4 Сортировка по слабой...
  7. Нейро-фаззи Оглавление1 Нейро-нечеткий1.1 Обзор нейро-нечеткой гибридизации1.2 Сильные стороны и противоречия нейро-нечетких систем1.3 Разделение исследований нейро-нечеткости1.4 Применение нейро-нечетких...
  8. Обработка текста Оглавление1 Обработка текста1.1 Определение обработки текста1.2 Текстовые процессоры и фильтры1.3 Отличия обработки текста от редактирования1.4 История...
  9. Сильная и слабая типизация Оглавление1 Сильная и слабая типизация1.1 Классификация языков программирования по типу системы1.2 История и определения1.3 Примеры “сильной”...
  10. Сильная и слабая типизация Оглавление1 Сильная и слабая типизация1.1 Классификация языков программирования по типу системы1.2 История и определения1.3 Примеры “сильной”...
  11. Пара Лакса Оглавление1 Слабая пара1.1 Определение и свойства слабой пары1.2 Связь с методом обратной задачи рассеяния1.3 Спектральная кривая...
  12. Слабая эквивалентность (гомотопическая теория) Оглавление1 Слабая эквивалентность (гомотопическая теория)1.1 Определение и примеры модельных категорий1.2 Гомотопическая эквивалентность и гомотопическая категория1.3 Цепные...
  13. Слабая производная Слабая производная Слабая производная функции определяется как предел отношения приращения функции к приращению аргумента.  Слабая производная...
  14. Сходимость мер Сближение мер Слабая сходимость вероятностных показателей важна в теории вероятностей и функциональном анализе.  Слабая сходимость показателей...
  15. Слабая формулировка Оглавление1 Слабая формулировка1.1 Слабые формулировки уравнений1.2 Теорема Лакса–Милгрэма1.3 Пример 1: Линейная система уравнений1.4 Пример 2: Уравнение...
  16. Логика интерпретации Оглавление1 Логика интерпретируемости1.1 Основы интерпретируемости1.2 Примеры интерпретируемых логик1.3 Аксиомы и правила вывода1.4 Полнота интерпретаций1.5 Рекомендации1.6 Полный...
  17. Слабая n-категория Слабая n-категория Слабая n-категория является обобщением строгой n-категории с менее строгими ассоциативными и унитальными свойствами.  Обобщение...
  18. Слабая формулировка Оглавление1 Слабая формулировка1.1 Теорема Лакса-Милгрэма1.2 Примеры применения теоремы1.3 Рекомендации по форматированию1.4 Внешние ссылки1.5 Полный текст статьи:2...
  19. Набор текста Оглавление1 Верстка1.1 История и развитие систем набора текста1.2 Развитие и эволюция скриптовых языков1.3 Появление SGML и...
  20. Джон Корнфорт Оглавление1 Джон Корнфорт1.1 Биография и научная карьера Джона Корнфорта1.2 Личная жизнь и награды1.3 Смерть и наследие1.4...
  21. Нейтральный ток Оглавление1 Neutral current1.1 Основы слабых нейтральных токов1.2 Роль слабой силы в ядерных распадах1.3 Взаимодействие через обменные...
  22. Пространство Гротендика Оглавление1 Пространство Гротендика1.1 Определение пространства Гротендика1.2 Характеристики пространств Гротендика1.3 Примеры пространств Гротендика1.4 Полный текст статьи:2 Пространство...

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

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