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