Нікітченко Микола Степанович — Енциклопедія Сучасної України

Нікітченко Микола Степанович

НІКІ́ТЧЕНКО Микола Степанович (27. 04. 1951, м. Бердичів Житомир. обл.) – фахівець у галузі теорії та технології програмування. Д-р фіз.-мат. н. (2001), проф. (2002). Держ. премія України в галузі н. і т. (2003). Закін. Київ. ун-т (1973), де відтоді й працює: від 2002 – зав. каф. теорії та технології програмування. Наукові дослідження: формал. моделі мов програмування та мов специфікацій; програмні логіки; логіка предикатів на різних рівнях абстракції; формал. методи розробки програм; абстрактна обчислювальність.

Пр.: Композиционные базы данных. К., 1992; Математична логіка. К., 2003; Математична логіка та теорія алгоритмів: Підруч. К., 2008; Теорія програмування. Ніжин, 2010; Satisfiability and Validity Problems in Many-sorted Composi­tion-Nominative Pure Predicate Logics. Heidelberg, 2013; Composition-Nomi­na­tive Logics as Institutions. Springer, 2017 (усі – спів­авт.).

С. С. Шкільняк


Покликання на статтю