Mandatory educational components Mathematical logic Бакалавр, Інформ., 3 сем., Шкільняк, 2018 Object-oriented programming Бакалавр, Інформ., 3 сем., Омельчук, 2018Бакалавр, Інформ., 3 сем., Омельчук, 2019Бакалавр, Інформ., 4 сем., заочне, Русіна, 2018Бакалавр, Філологія, 4сем., Федорова, 2018 Tool environments and programming technologies Бакалавр, Інформ, 4сем., Омельчук, 2018 Theory of algorithms Бакалавр, Інформ., 4сем., Шкільняк, 2018 System programming Бакалавр, Інформ., 5сем., Волохов, 2018 Programming theory Бакалавр, Інформ., 5 сем., Нікітченко, 2018Бакалавр, Інформ., 9 сем., заочне, Нікітченко, 2018 Information Technology Бакалавр, Інформ., 7 сем., Кузенко, 2018Бакалавр, Інформ., 10 сем., заочне, Кузенко, 2018 Methods of parallel calculations Бакалавр, Інформ., 7 сем., Дорошенко, 2018 Basics of Data Mining Бакалавр, Інформ., 7 сем., Федорова, 2018 Mathematical logic and theory of algorithms Бакалавр, Філологія, 3 сем., Нікітченко, 2018 Fundamentals of computer science Бакалавр, Філологія, 1 сем., Русіна, 2018Бакалавр, Філологія, 1 сем., Русіна, 2019 Algorithm theory and mathematical logic Бакалавр, Сис. аналіз, 4 сем., Зубенко, 2018 Basics of programming Бакалавр, Філологія, 2-3сем., Федорова, 2018 Discrete Math Бакалавр, Філологія, 2 сем., Федорова, 2018 Databases and knowledge bases Бакалавр, Філологія, 5 сем., Федорова, 2018 Theory of formal grammars Бакалавр, Філологія, 5 сем., Буй, 2018 Information systems and technologies Магістр, Бізнес інформ., 2 сем., Кузенко, 2018 Modern operating systems Магістр, Інформ., 1 сем., Панченко, 2018Магістр, Інформ., 1 сем., заочне, Панченко, 2018 Computational theory and computer technology Магістр, Інформ., 1 сем., Буй, 2018 Validation and verification of software systems Магістр, Інформ., 2 сем., Дорошенко, 2018 Formal methods of software development Магістр, Інформ., 2 сем., Нікітченко, 2018Магістр, Інформ., 2 сем., заочне, Нікітченко, 2018Магістр, Штучний Інт., 2 сем., Нікітченко, 2018 Applied and compositional logics Магістр, Інформ., 3 сем., Шкільняк, 2018 Web design technologies Магістр, Філологія, 1-2 сем., Федорова, 2018 Compositional logics Магістр, Штучний Інт., 2 сем., Буй, 2018