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

• Незавершённые статьи по математической логике‎ (13: 13 с.)

А

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

Б

• Булева алгебра‎ (41: 1 кат., 40 с.)

И

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

Л

• Логика высказываний‎ (11: 1 кат., 10 с.)

М

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

О

• Основания математики‎ (22: 2 кат., 20 с.)

П

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

Р

• Рекурсия‎ (35: 8 кат., 27 с.)

Т

• Теоремы математической логики‎ (18: 1 кат., 17 с.)
• Теория алгоритмов‎ (79: 10 кат., 69 с.)
• Теория доказательств‎ (26: 26 с.)
• Теория множеств‎ (97: 16 кат., 81 с.)
• Теория моделей‎ (2: 1 кат., 1 с.)
• Теория типов‎ (38: 38 с.)
• Троичная логика‎ (3: 1 кат., 2 с.)

Ф

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

*

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

А

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

Б

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

В

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

Г

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

Д

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

Е

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

З

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

И

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

К

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

Л

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

М

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

Н

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

О

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

П

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

Р

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

С

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

Т

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

У

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

Ф

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

Х

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

Э

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

A

• Agda

L

• Ladder diagram

R

• R-функция

S

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

T

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