Scientific achievements of the Group embodied in normative and special courses,
which are lectured at the National Taras Shevchenko University of Kyiv
and other Highest Schools, Institutes and Universities in Ukraine by our specialists:
Theoretical Basis of Programming
Program Logic
Program Definitors and Definitor Processors
Mathematical Logic
Theory of Algorithms
Theory of Formal Grammars
Theory of Applicative Systems and lambda-Calculation