Нікітченко Микола Степанович
НІКІ́ТЧЕНКО Микола Степанович (27. 04. 1951, м. Бердичів Житомир. обл.) — фахівець у галузі теорії та технології програмування. Доктор фізико-математичних наук (2001), професор (2002). Державна премія України в галузі науки і техніки (2003). Закін. Київський університет (1973), де відтоді й працює: від 2002 — завідувач кафедри теорії та технології програмування. Наукові дослідження: формал. моделі мов програмування та мов специфікацій; програмні логіки; логіка предикатів на різних рівнях абстракції; формал. методи розробки програм; абстрактна обчислювальність.
Додаткові відомості
- Основні праці
- Композиционные базы данных. К., 1992; Математична логіка. К., 2003; Математична логіка та теорія алгоритмів: Підруч. К., 2008; Теорія програмування. Ніжин, 2010; Satisfiability and Validity Problems in Many-sorted Composition-Nominative Pure Predicate Logics. Heidelberg, 2013; Composition-Nominative Logics as Institutions. Springer, 2017 (усі — співавт.).
Завантажити статтю
