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

А

• ► Алгебра логіки‎ (12 С)

Б

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

К

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

Л

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

М

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

О

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

Р

• ► Рекурсія‎ (2 К, 7 С)

Т

• ► Теореми засад математики‎ (11 С)
• ► Теорія доведення‎ (1 К, 17 С)
• ► Теорія множин‎ (9 К, 90 С)
• ► Теорія моделей‎ (2 К, 12 С)
• ► Теорія рекурсії‎ (12 С)
• ► Теорія типів‎ (2 К, 18 С)

Ф

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

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

*

• Теорія обчислюваності

А

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

Б

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

В

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

Ґ

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

Д

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

Є

• Єдиність

З

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

І

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

К

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

Л

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

М

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

Н

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

О

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

П

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

Р

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

С

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

Т

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

Ф

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

Х

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

Ч

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

P

• Principia Mathematica

T

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

Y

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