Рассмотрены основные понятия теории множеств и отношений, комбинаторного анализа,
элементы алгебры логики высказываний и предикатов, синтез и минимизация булевых функций.
Разобрано большое количество примеров. Имеются задачи для самостоятельного решения по
каждой теме.
Для студентов специальности 1-40 04 01 «Информатика и технологи программирования»
дневной формы обучения.