- Теория множеств
- Изоморфизм, автоморфизм, гомоморфизм
- Бинарные операции. Теория групп
- Теория групп (продолжение)
- Кольца, тела, поля
- Теория алгебр
- Тождества, бинарные операции
- Исчисление высказываний
- Теория кодирования
- Теория графов
- Эйлеровы пути, гамильтоновы пути
- Кратчайшие пути в графе
- Виды графов
- Применение графов
- Теория автоматов
- Теория формальных грамматик