Basic Courses
-
- Algebra and Number Theory
- Theory of Algorithms and Data Structures
- Mathematical Logic and Set Theory
- Formal Languages, Grammars and Automata
- Discrete Mathematics
Special Courses
-
- Semigroup Theory
- Rings and Modules
- Algebraic Structures
- Algorithms Theory and Complexity Analysis
- Text Analysis and Processing: Regular Expressions and Programs
- Methods of Compiler Development
- Semigroup Theory
September 2017 till now
Guarantor of the educational and professional program “Mathematics of Computer Technologies” of the second (master’s) level of higher education
List of Textbooks
-
- Gavrylkiv V. Formal Languages and Algorithmic Models (Holiney, Ivano-Frankivsk, 2012).
- Gavrylkiv V. Regular Expressions for Software (Holiney, Ivano-Frankivsk, 2012).
- Gavrylkiv V. Software for Parsing of Texts (Holiney, Ivano-Frankivsk, 2013).
- A collection of test tasks / Edited by R. A. Zatorsky (Holiney, Ivano-Frankivsk, 2014).
- Gavrylkiv V. Elements of Group Theory and Ring Theory (Holiney, Ivano-Frankivsk, 2016)
- Gavrylkiv V. Practical methods of Compilers Development (Ivano-Frankivsk, 2023)
- Gavrylkiv V. Formal Languages and Algorithmic Models, second edition (Holiney, Ivano-Frankivsk, 2023).
- Gavrylkiv V. Elements of Group Theory and Ring Theory, second edition (Holiney, Ivano-Frankivsk, 2024)