Логические исчисления, теория графов, комбинаторика, теория алгоритмов и сложности вычислений, теория автоматов.
Читает эту дисциплину: Сабурова Наталья Юрьевна