Моделювання ІТ інновацій X сем ІПзм

Формальні та програмні засоби X семестр ІПзм

Формальні методи програмної X семестр ІПзм

Філ. проблем наукового пізнання X семестр ІПзм

Спецкурс керівника X семестр ІПзм

Системологія інженерії прогр X семестр ІПзм

Педагогіка вищої школи X семестр ІПзм

Моделювання процесів розробки програм X семестр ІПзм

Логічний аналіз X семестр ІПзм