Математическая логика. Конспект лекций
Примеры тождественно истинных формул высказываний
0162
Закон тождества. «Всякое высказывание является логическим
Логика - доступно для всех
Математическая логика. Конспект лекций
Полные системы функций. Система функций {}
0142
Теорема. Всякая булева функция порождается некоторой
Логика - доступно для всех
Математическая логика. Конспект лекций
Разрешимые и неразрешимые задачи математики
0144
Проблема останова заключается в том, чтобы по любой
Логика - доступно для всех
Математическая логика. Конспект лекций
Минимизация сложных высказываний методом Квайна
0129
Алгоритм: 1.     
Логика - доступно для всех
Математическая логика. Конспект лекций
NP задачи
0137
Определим теперь класс NP задач распознавания, т.
Логика - доступно для всех
Математическая логика. Конспект лекций
Правило резолюции для исчисления высказываний
0129
Пусть С1 и С2 – предложения в исчислении высказываний.
Логика - доступно для всех
Математическая логика. Конспект лекций
Понятие высказывания
0132
Рассмотрим логику высказываний, которая лежит в основе
Логика - доступно для всех
Математическая логика. Конспект лекций
Функциональная полнота
0132
Класс функций F называется полным, если его замыкание
Логика - доступно для всех
Математическая логика. Конспект лекций
Булевы функции
0125
Функция  называется функцией алгебры логики.
Логика - доступно для всех
Математическая логика. Конспект лекций
Доказательство от противного
0116
В основе МР лежит идея доказательства от противного.
Логика - доступно для всех