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

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

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

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

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

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

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

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

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