Работа включает разделы: операции теории множеств, математическую логику в составе булевой алгебры, исчисления высказываний и исчисления предикатов. При изложении материала использован конструктивный подход – наиболее современная и эффективная форма подачи материала. Каждый раздел сопровождается задачами, приводятся решения типовых задач. Работа окажется полезной при подготовке бакалавров по всем направлениям факультета прикладной математики и информатики.