Эквациональная логика
Уравнительная логика Основы эквациональной логики Эквациональная логика – это формальная логика без кванторов, основанная на равенстве. Модельная теория была преобразована […]
Вики
Mathematical logic
Вики
Семантика Крипке
Семантика Крипке Основы семантики Крипке Семантика Крипке – это формальная система для определения истинности формул модальной логики. Она основана на
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
О-минимальная теория
О-минимальная теория Определение и свойства o-минимальных структур o-минимальная структура – это упорядоченная структура, в которой каждое определяемое подмножество является конечным
Вики
Проблема принятия решения
Проблема принятия решений Определение проблемы принятия решений Проблема принятия решений – это вопрос о том, является ли формула первого порядка
Вики
Алгебра отношений
Алгебра отношений Основы алгебры отношений Алгебра отношений – это алгебра, в которой отношения между элементами являются основными объектами. Отношения могут
Вики
Теории итерированных индуктивных определений
Теории повторяющихся индуктивных определений Основы теории доказательств Теория доказательств изучает методы доказательства математических утверждений. В теории доказательств используются аксиомы и
Вики
Алгебраическая теория
Алгебраическая теория Определение алгебраической теории Алгебраическая теория использует аксиомы в терминах уравнений с переменными. Неравенства и количественные выражения запрещены. Сентенциальная
Вики
Декартов моноид
Декартов моноид Определение Декартова моноида Декартов моноид – это моноид с операторами сопряжения и проекции. Дана Скотт и Йоахим Ламбек
Вики
Семантика игры
Игровая семантика Основы игровой семантики Игровая семантика – это подход к логике, основанный на играх, в которых игроки взаимодействуют и
Вики
Реализация математики в теории множеств
Применение математики в теории множеств Основы теории множеств Теория множеств – это раздел математики, изучающий свойства множеств. Множество – это
Вики
О формально неразрешимых утверждениях Principia Mathematica и родственных системах
О формально неразрешимых положениях математических принципов и связанных с ними системах Обзор статьи “О формально неразрешимых положениях…” Статья Геделя о
Вики
Теоремы Гёделя о неполноте
Теоремы Геделя о неполноте Теорема Геделя о неполноте Гедель показал, что любая эффективная система аксиом не может доказать свою собственную
Вики
Ипостасная абстракция
Ипостасная абстракция Определение гипостазической абстракции Гипостазическая абстракция преобразует предикат в отношение, например, “Мед сладкий” в “Мед имеет сладость”. Связь создается
Вики
Упрощение дизъюнктивных антецедентов
Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) – явление в формальной семантике и философской логике. SDA – это явление,
Вики
Стратификация (математика)
Стратификация (математика) Полный текст статьи: Стратификация (математика) — Википедия Похожие статьи: Стратификация океана Оглавление1 Стратификация океана1.1 Стратификация океана1.2 Влияние изменения
Вики
Непредикативность
Непредсказуемость В математике, логике и философии математики недоказуемое определение – это определение, ссылающееся на себя. Определение является непредикативным, если оно
Вики
Structural induction – Wikipedia
Структурная индукция Структурная индукция – метод доказательства теорем, основанный на индукции по структурам. Структурная индукция эквивалентна принципу упорядоченности. Метод позволяет
Вики
Вывод о свободном выборе
Вывод о свободном выборе Свободный выбор в естественном языке связан с логической конъюнктивной интерпретацией лингвистической дизъюнкции. Исследования в формальной семантике
Вики
Семантика Крипке
Семантика Крипке Семантика Крипке представляет собой формализм для изучения модальных логик. Крипке предложил использовать фреймы для описания моделей логики. Фреймы