наукові семінари
Наукові семінари:
| Логіки програмування 4к. | проф. Редько В.Н. |
| Програмологія та її застосування 5с. | проф. Редько В.Н. |
| Сучасні технології розподілених систем 5с. | проф. Дорошенко А.Ю. |
| Коректність програм 4к. | асист. Ткачук І.Ю. |
Київський національний університет імені Тараса Шеченка
факультет кібернетики
факультет кібернетики
Кафедра теорії та технології програмування