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

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

Б

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

Л

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

М

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

Н

• [×] Нечёткая логика‎ (15: 15 с.)

П

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

Р

• ► Рекурсия‎ (14: 3 кат., 11 с.)

С

• ► Свойства операций‎ (12: 1 кат., 11 с.)

Т

• ► Теоремы математической логики‎ (18: 1 кат., 17 с.)
• ► Теория алгоритмов‎ (67: 10 кат., 57 с.)
• [×] Теория доказательств‎ (6: 6 с.)
• ► Теория множеств‎ (102: 15 кат., 87 с.)
• [×] Теория типов‎ (24: 24 с.)

*

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

А

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

Б

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

В

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

Г

• Гёделева нумерация
• Гёделевская нумерация
• Гипотеза Такеути

Д

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

Е

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

З

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

И

• Индикатор (математика)
• Интуиционистское исчисление высказываний

К

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

Л

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

М

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

Н

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

О

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

П

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

Р

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

С

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

Т

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

У

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

Ф

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

Э

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

A

• Agda

R

• R-функция

T

• T-норма и t-конорма
• Участник:Tusyatusya/Доказательство свойств характеристических функций