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

А

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

Б

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

К

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

Л

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

М

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

О

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

Р

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

Т

• Теореми засад математики‎ (1 К, 11 С)
• Теорія доведення‎ (2 К, 21 С)
• Теорія множин‎ (13 К, 86 С)
• Теорія моделей‎ (2 К, 14 С)
• Теорія рекурсії‎ (13 С)
• Теорія типів‎ (3 К, 30 С)

Ф

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

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

А

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

Б

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

В

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

Ґ

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

Д

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

Е

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

Є

• Єдиність

З

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

І

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

К

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

Л

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

М

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

Н

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

О

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

П

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

Р

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

С

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

Т

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

У

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

Ф

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

Х

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

Ч

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

P

• Principia Mathematica

R

• R-функція

T

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

Y

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