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