Категория:Математическая логика

• Незавершённые статьи по математической логике‎ (1 К, 1 С)

А

• Автоматическое доказательство теорем‎ (2 К, 12 С)

Б

• Булева алгебра‎ (1 К, 39 С)

И

• Инструменты интерактивного доказательства теорем‎ (9 С)

Л

• Логика высказываний‎ (1 К, 11 С)

М

• Математическая индукция и её обобщения‎ (5 С)
• Метаматематика‎ (5 С)

О

• Основания математики‎ (2 К, 20 С)

П

• Персоналии:Математическая логика‎ (8 С)

Р

• Рекурсия‎ (8 К, 27 С)

Т

• Теоремы математической логики‎ (1 К, 17 С)
• Теория алгоритмов‎ (10 К, 69 С)
• Теория доказательств‎ (26 С)
• Теория множеств‎ (17 К, 82 С)
• Теория моделей‎ (1 К, 1 С)
• Теория типов‎ (38 С)
• Троичная логика‎ (1 К, 2 С)

Ф

• Формальные теории арифметики‎ (4 С)

*

• Математическая логика

А

• Абдукция (логика)
• Аксиома
• Аксиомы Пеано
• Алгебра Линденбаума — Тарского
• Алгебра логики
• Алгоритм Тарского
• Алгоритмическая разрешимость
• Арифметика Пресбургера
• Асинхронная логика
• Атомарная формула

Б

• Булева алгебра
• Булева формула
• Булева функция

В

• Вычислимое число

Г

• Гёделева нумерация
• Гёделевская нумерация
• Градуированная алгебра

Д

• Дедекиндово число
• Дедекиндовы числа
• Дескрипционная логика
• Дескрипция
• Диаграмма Венна
• Диаграмма Эйлера
• Дизъюнктивный одночлен
• Дизъюнкция
• Доведение до абсурда
• Доказательство одноцветности всех лошадей
• Доказательство от противного

Е

• Единственность

З

• Задача разрешимости
• Закон двойного отрицания
• Закон двойственности
• Закон исключённого третьего
• Закон Клавия
• Закон контрапозиции
• Закон Пирса
• Закон противоречия
• Законы де Моргана
• Замкнутые классы булевых функций

И

• Интуиционистская логика
• Исчисление Ламбека

К

• Квазитождество
• Квантор
• Квантор всеобщности
• Квантор существования
• Классическая логика
• Комбинационная логика
• Конъюнктивный одночлен
• Конъюнкция
• Кризис оснований математики
• Критерий Поста

Л

• Линейная логика
• Литерал (математическая логика)
• Логика второго порядка
• Логика высшего порядка
• Логика первого порядка
• Логика разделения
• Логика Хоара
• Логицизм

М

• Математика. Поиск истины
• Математика. Утрата определённости
• Математическое доказательство
• Металогика
• Метаматематика
• Метод бесконечного спуска
• Метод Куайна — Мак-Класки
• Метод обобщений (математика)
• Метод Петрика
• Многозначная логика
• Модальная логика
• Модель Крипке
• Модель системы аксиом

Н

• Недоказуемые утверждения
• Независимость системы аксиом
• Необходимое и достаточное условия
• Неопределяемое понятие
• Непредикативность (математика)
• Непротиворечивость
• Нестандартный анализ
• Нумерация Гёделя

О

• Обратная теорема
• Общезначимость
• Операция (математика)

П

• Полином Жегалкина
• Полная теория
• Полнота формальной системы
• Пороговая логика
• Правило резолюций
• Предикат
• Предложение (логика)
• Предполные классы
• Принцип Маркова
• Проблема разрешения
• Проверка моделей
• Программа Гильберта
• Противоположная теорема

Р

• Равенство (математика)
• Редукция (логика)
• Рекурсивное определение
• Рекурсивный язык
• Решение задачи с конца

С

• Самодвойственная функция
• Секвенциальная логика
• Сечение (теория доказательств)
• Сигнатура (математическая логика)
• Синтаксис (логика)
• Скобка Айверсона
• Слабейшее предусловие
• Соответствие Карри — Ховарда
• Стрелка Пирса
• Сумматор с сохранением переноса
• Сюрреальные числа

Т

• Таблица истинности
• Тавтология (логика)
• Теорема Гёделя о компактности
• Теорема Гёделя о полноте
• Теорема Лёба
• Теорема Лёвенгейма — Скулема
• Теорема о дедукции
• Теорема о существовании модели
• Теорема Поста
• Теорема Райса
• Теорема Тарского о невыразимости истины
• Теорема Чёрча — Тьюринга
• Теоремы Гёделя о неполноте
• Теория вычислимости
• Теория доказательств
• Теория моделей
• Теория типов
• Терм (логика)
• Трилемма Мюнхгаузена
• Турникет (символ)

У

• Устранимость сечений

Ф

• Формальная верификация
• Формальная логика
• Формальная семантика
• Формальная система

Х

• Хорновский дизъюнкт

Э

• Элиминация кванторов
• Эрбранова интерпретация
• Эффективный процесс

A

• Agda

L

• Ladder diagram

R

• R-функция

S

• S5 (модальная логика)

T

• T-норма и t-конорма