Library

Training manuals

Zubenko V.V., Omelchuk L.L. Programming. Advanced course — Kyiv: Publishing and Printing Center “Kyiv University”, 2011. – 623 p.

Nikitchenko M.S. Programming theory. Part 1 Nizhyn: Mykola Gogol NDU Publishing House, 2010. – 122 p.

Omelchuk L.L. Formal methods of program specification — Kyiv: UkrINTEI, 2010. – 78 p.

Boyko B.I. Object-oriented programming. Laboratory workshop: textbook / B.I. Boyko, L.L. Omelchuk, N.G. Rusina. – Kyiv. – 90 p.

Shkilnyak S.S. Mathematical logic. Examples and tasks: Textbook. –K .: Publishing and Printing Center “Kyiv University”, 2007. – 145 p.

Shkilnyak S.S. Mathematical logic .: Electronic textbook. – К. 2012.

Nikitchenko M.S., Shkilnyak S.S. Applied logic: Textbook– Kyiv: Publishing and Printing Center “Kyiv University”, 2013. – 278 p.

Nikitchenko M.S., Shkilnyak O.S., Shkilnyak S.S. Algorithm Theory: A Textbook. – Kyiv: Kyiv University Publishing and Printing Center, 2015. –241 p.

Shkilnyak S.S. Theory of algorithms. Examples and tasks: Textbook. – Kyiv: Publishing and Printing Center “Kyiv University”, 2012. – 77 p.

R.M. Trokhymchuk, Nikitchenko M.S. Discrete mathematics in examples and problems – Kyiv– 248 p.