Олексій Миколайович Ткаченко
Місце роботи
Співробітник працює на наступній кафедрі
Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики
Дисципліни
Співробітник викладає наступні дисципліни
Об’єктно-орієнтоване програмування
Формальнi методи розробки програмних систем
Розробка програмного забезпечення під мобільні платформи
Коректність програм та логіки програмування
Формальнi методи розробки програмних систем
Інформаційні технології
Інформаційні системи та технології
Методи і технології розробки програмних продуктів
Технології обробки та аналізу інформації
Інструментальні засоби та технології програмування
Композиційна семантика SQL-подібних мов
Інформаційні технології
Розробка програмного забезпечення під мобільні платформи
Коректність програм та логіки програмування
Композиційна семантика SQL-подібних мов
Формальнi методи розробки програмних систем
Інформаційні системи та технології
Формальнi методи розробки програмних систем
Методи і технології розробки програмних продуктів
Інструментальні засоби та технології програмування
Технології обробки та аналізу інформації