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