Микола Степанович Нікітченко
Місце роботи
Співробітник працює на наступній кафедрі
Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики
Дисципліни
Співробітник викладає наступні дисципліни
Теорія алгоритмів та математична логіка
Логiка та автоматизоване мислення
Програмні логіки та їх застосування
Формальнi методи розробки програмних систем
Математична логіка і теорія алгоритмів
Дискретна математика
Композиційна семантика SQL подібних мов
Теорія алгоритмів та математична логіка
Програмні логіки та їх застосування
Логiка та автоматизоване мислення
Дискретна математика
Математична логіка і теорія алгоритмів
Композиційна семантика SQL подібних мов
Логiка та автоматизоване мислення
Програмні логіки та їх застосування
Курсова робота (вибірковий блок ТТП)
Підготовка кваліфікаційної роботи бакалавра
Підготовка кваліфікаційної роботи магістра
Підготовка кваліфікаційної роботи бакалавра
Підготовка кваліфікаційної роботи магістра