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

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

А

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

Б

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

И

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

Л

• [×] Логика высказываний‎ (10: 10 с.)

М

• [×] Математическая индукция и её обобщения‎ (5: 5 с.)
• ► Метаматематика‎ (6: 1 кат., 5 с.)

О

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

П

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

Р

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

Т

• ► Теоремы математической логики‎ (18: 1 кат., 17 с.)
• ► Теория алгоритмов‎ (76: 10 кат., 66 с.)
• [×] Теория доказательств‎ (10: 10 с.)
• ► Теория множеств‎ (96: 17 кат., 79 с.)
• [×] Теория моделей‎ (1: 1 с.)
• [×] Теория типов‎ (31: 31 с.)
• ► Троичная логика‎ (3: 1 кат., 2 с.)

Ф

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

*

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

А

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

Б

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

В

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

Г

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

Д

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

Е

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

З

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

И

• Интуиционистское исчисление высказываний

К

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

Л

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

М

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

Н

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

О

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

П

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

Р

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

С

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

Т

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

У

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

Ф

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

Х

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

Э

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

A

• Agda

L

• Ladder diagram

R

• R-функция

S

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

T

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