Математическая логика. Конспект лекций
Математическая логика. Конспект лекций
Закон тождества. «Всякое высказывание является логическим
Математическая логика. Конспект лекций
Теорема. Всякая булева функция порождается некоторой
Математическая логика. Конспект лекций
Проблема останова заключается в том, чтобы по любой
Математическая логика. Конспект лекций
Пусть С1 и С2 – предложения в исчислении высказываний.
Математическая логика. Конспект лекций
Рассмотрим логику высказываний, которая лежит в основе
Математическая логика. Конспект лекций
Класс функций F называется полным, если его замыкание
Математическая логика. Конспект лекций
В основе МР лежит идея доказательства от противного.