Go to Logic in Informatics Home Page

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
• Composition Basis for SQL-like Languages
• Foundations of Internet/intranet Programming
• Internet Technologies
• Knowledge Discovery in Databases
• Operating Systems
• Contemporary Languages (JAVA technologies)