Нікітченко Микола Степанович
професор, завідувач кафедри теорії та технології програмування

Інформація

Посада: професор, завідувач кафедри теорії та технології програмування
Науковий ступінь: доктор фізико-математичних наук
Звання: професор
Аудиторія: 601
Телефон: 044-259-05-19
E-mail: nikitchenko_ms@knu.ua
Наукові інтереси: формальні моделі програмування, мови програмування та мови специфікацій, формальні методи розробки програм, логіка предикатів на різних рівнях абстракції, абстрактна обчислювальність

Академічні нагороди і премії:

Лауреат Державної премії України в галузі науки та техніки (2003 рік) 

Лауреат премії імені Тараса Шевченка Київського університету (2010) 

Відзнак Вченої ради КНУ імені Тараса Шевченка (2011). 

Читає курси:

Теорія програмування, бакалаври, 3 курс.

Математична логіка та теорія алгоритмів, бакалаври, 2 курс (прикладна лінгвістика).

Формальні методи розробки програмних систем, магістри, 1 курс.

Публікації:

  1. Никитченко Н.С. Композиционно-номинативные аспекты адресного программирования // Ж.: «Кибернетика и системный анализ».– 2009.– N.6.– с. 24–35
  2. Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів, підручник // К.-Київський університет. - 2008. - 528 с.
  3. M.S. Nikitchenko, V.G. Tymofieiev Satisfiability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics // CCIS 347, pp. 89–110. Springer, Heidelberg (2013)
  4. M. Nikitchenko, A. Kryvolap Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica, Vol. 13 No. 4, 2013, pp. 70-78.
  5. I. Ivanov, M. Nikitchenko, U. Abraham On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems // CCIS 469, pp.78-99, Springer, (2014)

Список публікацій за 2010-2017.

Curriculum Vitae