Пособие содержит материал по элементам теории множеств, исчислению высказываний, исчислению предикатов, булевым функциям. Приведён ряд задач, дополняющих основное содержание пособия.
Учебно-методическое пособие содержит необходимые теоретические сведения, базовые примеры с подробными решениями, типовые расчеты.
