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

А

• Алгебра логіки (12 С)
• Алгебраїчна логіка (4 С)

Б

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

К

• Класична логіка (1 К, 12 С)

Л

• Логіка в інформатиці (4 К, 35 С)
• Логічні елементи (19 С)

М

• Математичні аксіоми (3 К, 9 С)

О

• Основи математики (3 К, 17 С)

Р

• Рекурсія (4 К, 12 С)

Т

• Теореми засад математики (1 К, 11 С)
• Теорія доведення (2 К, 22 С)
• Теорія множин (15 К, 87 С)
• Теорія моделей (2 К, 14 С)
• Теорія рекурсії (17 С)
• Теорія типів (3 К, 34 С)

Ф

• Формальні мови (8 К, 50 С)
• Формальні системи (5 К, 8 С)
• Формальні теорії арифметики (2 С)

Ч

• Логічні числення (1 К, 8 С)

• Математична логіка

А

• Аксіоми Пеано
• Алгебраїчна логіка
• Алгоритм
• Алгоритм Блейка
• Алгоритм зозулі
• Алгоритм Тарського
• Алгоритми уніфікації
• Алгоритмічна розв'язність
• Арифметика Пресбургера
• Асинхронна логіка

Б

• Багатозначна логіка
• Булева алгебра (структура)
• Булева функція

В

• Висловлення
• Відношення
• Відношення рівності
• Вільні і зв'язані змінні

Ґ

• Ґратка з діленням
• Ґратка Поста

Д

• Дедекіндові числа
• Дедуктивна логіка
• Дескрипція
• Диз'юнкт Горна
• Диз'юнктивна нормальна форма
• Доведення (математика)
• Доведення від супротивного
• Доведення до абсурду
• Доведення неможливості
• Дужка Айверсона

Е

• Еквіваленція

Є

• Єдиність

З

• Задача розв'язності
• Закон Пірса
• Закон подвійного заперечення
• Замкнений вираз
• Засновок
• Звідність
• Змінна

І

• Інтерпретація Ербрана
• Інтуїціонізм

К

• Квантова логіка
• Квантор
• Квантор загальності
• Комбінаторна логіка
• Комбінаційна логіка
• Кон'юнктивна нормальна форма
• Конструктивне доведення
• Контрапозиція
• Криза основ математики

Л

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

М

• Макстерм
• Математичний софізм
• Металогіка
• Метаматематика
• Мінтерм
• Мультимодальна логіка

Н

• Найскладніша логічна задача
• Незалежність системи аксіом
• Немонотонна логіка
• Непредикативність (математика)
• Нескінченно мала величина
• Нормальна форма Сколема
• Нормальна форма формули у логіці предикатів
• Нумерація Геделя

О

• Обернене відношення
• Обчислення за короткою схемою
• Основи математики
• Основні закони формальної логіки

П

• Парадокс Каррі
• Перелік
• Повна теорія
• Повнота (логіка)
• Поліном Жегалкіна
• Поліноміальні моделі цифрових пристроїв
• Правила де Моргана
• Предикат
• Припущення
• Проблема зупинки
• Програма Гільберта

Р

• Рекурсивне означення
• Реляційна алгебра
• Рерайтинг (математика)

С

• Секвенційна логіка
• Семантика логіки
• Сигнатура (математична логіка)
• Спростування
• Суперечність
• Сюрреальні числа

Т

• Таблиця істинності
• Таблиця математичних символів
• Тавтологія (логіка)
• Теорема Льоба
• Теорема про дедукцію
• Теореми Геделя про неповноту
• Теорія автоматів
• Теорія доведення
• Теорія множин
• Теорія моделей
• Теорія обчислюваності
• Теорія типів
• Терм (логіка)
• Трансфінітна індукція
• Трилема Мюнхгаузена

У

• Універсум (математика)

Ф

• Формальна арифметика
• Формальна граматика
• Формальна логіка
• Формальна та сучасна логіка
• Функціональна повнота

Х

• Характеристична функція

Ч

• Частковий випадок (логіка)

P

• Principia Mathematica

R

• R-функція

T

• Користувач:Tanya Kurlyanchyk/Грамайданчик

Y

• Користувач:YP/пісочниця
• Обговорення користувача:YP1944