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

Розгорнути всі

Code runner

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

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

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

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

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

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

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