Викладацька діяльність

Основні курси

- Алгебра та теорія чисел
- Теорія алгоритмів та структури даних
- Математична логіка і теорія множин
- Формальні мови, граматики і автомати
- Дискретна математика

Спеціальні курси

- Теорія напівгруп
- Кільця і модулі
- Алгебраїчні структури
- Теорія алгоритмів і аналіз складності
- Аналіз та обробка текстів: регулярні вирази і програми
- Методи розробки компіляторів

Вересень 2017 до цього часу

Гарант освітньо-професійної програми “Математика комп’ютерних технологій” другого (магістерського) рівня вищої освіти

Список навчальних посібників

1. Гаврилків В. Формальні мови та алгоритмічні моделі / Івано-Франківськ: Голіней, 2012. – 172 с.
2. Гаврилків В. Регулярні вирази у програмних продуктах / Івано-Франківськ: Голіней,2012. – 72 с.
3. Гаврилків В. Програмні засоби розбору та обробки тексту / Івано-Франківськ: Голіней, 2013. – 41 с.
4. Збірник тестових завдань / За ред. д.ф.-м.н. Р.А. Заторського, к.ф.-м.н. О.В. Махнея. – Івано-Франківськ: Голіней, 2014. – 204 с.
5. Гаврилків В. Елементи теорії груп та теорії кілець / Івано-Франківськ: Голіней, 2016. – 148 с.
6. Гаврилків В. Практичні методи розробки компіляторів / Івано-Франківськ, 2023. – 71 с.
7. Гаврилків В. Формальні мови та алгоритмічні моделі (вид. друге) / Івано-Франківськ: Голіней, 2023. – 180 с.