Кафедра інформатики, програмної інженерії та економічної кібернетики

Expand all

НІТ у вивченні математики

Суботня школа

Формальні методи аналіза та верифікації програм

Теорія програмування

Операційні системи

Моделювання та проєктування інформаційних систем

Моделювання й проектування програмних систем навчального та наукового призначення