Приведены теоретические материалы, необходимые для изучения
дисциплины «Дискретная математика». Рассмотрены основные разделы 1
семестра: элементы теории множеств, элементы математической логики,
булевы функции. В данных разделах указаны основные проблемы
(логические парадоксы, некоторые парадоксы теории множеств,
проблема отыскания тавтологий логики предикатов и т. д. ),
построена формально аксиоматика логики высказываний, вводится язык
узкого исчисления предикатов. Рассмотрены вопросы, связанные с
функционально замкнутыми классами, а также свойства булевых
функций. Приведены задачи для самостоятельной работы студентов.