Optional educational components Compositional semantics of SQL-like languages Бакалавр, Інформ., 8 сем., Буй, 2018 Web-technology Бакалавр, Інформ., 5 сем., Панченко, 2018Бакалавр, Інформ., 5 сем., Панченко, 2019 Testing and verification of programs Бакалавр, Інформ., 5 сем., Криволап, 2018 UNIX-like operating systems Бакалавр, Інформ., 6 сем., Панченко, 2018 Operating systems for mobile platforms Бакалавр, Інформ., 6 сем., Панченко, 2018 Paradigms and programming technologies Бакалавр, Інформ., 6 сем., Кузенко, 2018 Development of business analytical systems Бакалавр, Інформ., 8 сем., Панченко, 2018 Correctness of programs and logic of programming Бакалавр, Інформ., 8 сем., Нікітченко, 2018 Methods of program specification Бакалавр, Інформ., 8 сем., Криволап, 2018Бакалавр, Інформ., 8 сем., Шишацька, 2019 Mathematical logic and theory of algorithms Бакалавр, Прикладна матем., 4 сем., Зубенко, 2018 Information systems development tools Магістр, Бізнес Інформ., 3 сем., Кузенко, 2018 Theory of tabular algebras Магістр, Інформ., 4 сем., Буй, 2018Магістр, Інформ., 3 сем., заочне, Буй, 2019Магістр, Інформ., 4 сем., Шишацька, 2018Магістр, Інформ., 3 сем., заочне, Шишацька, 2019 Programming tools and technologies Магістр, Інформ., 3 сем., Буй, 2018Магістр, Інформ., 3 сем., заочне, Буй, 2018 Information modeling of systems Магістр, Інформ., 3 сем., Зубенко, 2018 Software Engineering Магістр, Інформ., 3 сем., Омельчук, 2018Магістр, Філологія, 3 сем., Русіна, 2018 Software logics and their application Магістр, Інформ., 3 сем., Криволап, 2018Магістр, Інформ., 3 сем., Шишацька, 2019 Information Technology Магістр, Прикладна матем., 4 сем., Кузенко, 2018
