- Определение булевой функции
- Элементарные булевы функции
- Задание булевых функций посредством элементарных
- Существенные и несущественные переменные
- Эквивалентные функции
- Основные эквивалентности
- Функциональная полнота
- Нормальные формы
- Совершенные нормальные формы
- Минимизация ДНФ методом Квайна
- Карты Карно
- Полином Жегалкина
- Высказывания
- Предикаты
- Кванторы
- Определение формальной теории
- Исчисление высказываний
- Теорема о дедукции. Полнота ИВ
- Автоматическое доказательство теорем
- Метод резолюций в ИВ
- Определение алгоритма
- Машина Тьюринга
- Рекурсивные функции
- Алгоритмически неразрешимые задачи
- Алгоритмы и их сложности