Темы:
1.Множества
2.Математическая логика ,равносильные преобразования формул и нормальные формы булевой алгебры
3.Минимизация булевых функций (в классе ДНФ)
4.Графы:связность,обходы,кратчайшие пути,изоморфизм,циклы,разрезы,независимость и покрытия ,раскраска и планарность