Основні курси
-
- Алгебра та теорія чисел
- Теорія алгоритмів та структури даних
- Математична логіка і теорія множин
- Формальні мови, граматики і автомати
- Дискретна математика
Спеціальні курси
-
- Теорія напівгруп
- Кільця і модулі
- Алгебраїчні структури
- Теорія алгоритмів і аналіз складності
- Аналіз та обробка текстів: регулярні вирази і програми
- Методи розробки компіляторів
Вересень 2017 до цього часу
Гарант освітньо-професійної програми “Математика комп’ютерних технологій” другого (магістерського) рівня вищої освіти
Список навчальних посібників
-
- Гаврилків В. Формальні мови та алгоритмічні моделі / Івано-Франківськ: Голіней, 2012. – 172 с.
- Гаврилків В. Регулярні вирази у програмних продуктах / Івано-Франківськ: Голіней,2012. – 72 с.
- Гаврилків В. Програмні засоби розбору та обробки тексту / Івано-Франківськ: Голіней, 2013. – 41 с.
- Збірник тестових завдань / За ред. д.ф.-м.н. Р.А. Заторського, к.ф.-м.н. О.В. Махнея. – Івано-Франківськ: Голіней, 2014. – 204 с.
- Гаврилків В. Елементи теорії груп та теорії кілець / Івано-Франківськ: Голіней, 2016. – 148 с.
- Гаврилків В. Практичні методи розробки компіляторів / Івано-Франківськ, 2023. – 71 с.
- Гаврилків В. Формальні мови та алгоритмічні моделі (вид. друге) / Івано-Франківськ: Голіней, 2023. – 180 с.