Mykola S. Nikitchenko

Chairman of the department of Theory and Technology of Programming

Position: | Chairman of the department of Theory and Technology of Programming |
---|---|

Degree: | Doctor of Physical and Mathematical Science |

Title: | Professor |

Room: | 601 |

Phone: | 044-259-05-19 |

E-mail: | nikitchenko_ms@knu.ua |

Research interests: | foundations of informatics and programming, mathematical logic, formal methods of software system development, abstract computability |

State Prize of Ukraine in Science and Technology (2003)

Taras Shevchenko Prize of Taras Shevchenko National University (2010)

Theory of Programming

Mathematical Logic

Theory of algorithms

Theoretical foundations of programming

- Mykola Nikitchenko and Stepan Shkilniak
**Mathematical logic and theory of algorithms**// Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 528 p. (In Ukrainian, 2008). Approved by the Ministry of Education of Ukraine as a handbook for Universities. - Mykola Nikitchenko
**Theory of Programming**// Publishing house of Mykola Gogol State University of Nizhyn, Nizhyn, 120 p. (In Ukrainian, 2010). - Mykola Nikitchenko and Stepan Shkilniak
**Applied Logic**// Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 278 p. (In Ukrainian, 2013). - Mykola Nikitchenko, Taras Panchenko, and Sergei Poliakov
**Theory of Programming in Examples and Tasks**// Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 192 p. (In Ukrainian, 2015). - Mykola Nikitchenko, Oksana Shkilniak, and Stepan Shkilniak
**Theory of Algorithms** - Katerina Lavrischeva, Mykola Nikitchenko, Ludmila Omelchuk
**Technology of Programming of Information Sysrtems.**// Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 367 p. (In Ukrainian, 2016). Approved by the Ministry of Education of Ukraine as a handbook for Universities. - Rostyslav M. Trokhymchuk, Mykola Nikitchenko.
**Discrete Mathematics in Examples and Tasks.**// Publishing house of Taras Shevchenko National University of Kyiv, Kyiv, 248 p. (In Ukrainian, 2017, in print). - Ivan Basarab, Mykola Nikitchenko, Volodymyr Redko
**Compositional data bases**Lybid’: Kiev, 1992, 192 p. (In Russian).**.**// - Anatoliy Doroshenko, Constantin Zereb, Ievgen Ivanov, Mykola Nikitchenko, and Olena Yatcenko
**Formal Methods of Parallel Program Construction**// Kropyvnyckiy, 440 p. (In Russian, 2016). - Nikitchenko M., Tymofieiev V.
**Satisfiability in composition-nominative logics**// Central European Journal of Computer Science, vol. 2, issue 3, 2012, pp. 194-213. - Nikitchenko M., Kryvolap A.
**Properties of inference systems for Floyd-Hoare logic with partial predicates**// Acta Electrotechnica et Informatica, Kosice, Slovakia, 2013, vol. 13, number 4, pp. 70-78. - Kryvolap A., Nikitchenko M. Schreiner W.
**Extending Floyd-Hoare logic for partial pre- and postconditions**// CCIS 412, Springer, Heidelberg, 2013, pp. 355-378. - Skobelev V., Nikitchenko M., Ivanov Ie.
**On Algebraic Properties of Nominative Data and Functions**// CCIS 469, Springer, Heidelberg, 2014, pp. 117-138.