Курс призначений для студентів другого та третього курсів факультету електроніки та комп'ютерної інженерії зі спеціальності 014 - Середня освіта (Інформатика). Навчальна дисципліна має наступні змістовні модулі: Елементи булевої алгебри. Алгебра висловлень. Числення висловлень.