Автор: Дурнев В. Г.
"В учебном пособии излагаются основные понятия теории множеств, логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Пособие предназначено для студентов, обучающихся по направлениям 510100 ""Математика"" и 511200 ""Математика. Прикладная математика"" и по специальностям 010100 ""Математика"" и 090102 ""Компьютерная безопасность"". Оно может быть использовано при изучении дисциплин ""Введение в теорию множеств и логическую символику"", ""Математическая логика"", ""Математическая логика и теория алгоритмов"" и ""Дискретная математика и математическая логика"" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 48 назв. "