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