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.

Guidelines

Volokhov V.M. Methodical recommendations for the laboratory workshop on building language processors in the discipline “System Programming” — Kyiv: 2013. — 53 p.

Nikitchenko M.S., Panchenko T.V. Methodical recommendations for practical classes on the course “Programming Theory” — Kyiv: 2010. — 82 p.

Omelchuk L.L. Methodical recommendations for the implementation and design of coursework — Kyiv: 2011. — 32 p.

Omelchuk L.L. Methodical recommendations for the implementation and design of bachelor’s work — Kyiv: 2011. — 32 p.

Panchenko T.V. Methodical recommendations for laboratory classes on the course “System programming and operating systems” — Kyiv: 2009. — 42 p.

N.G. Rusina, Yaresko T.V. Modern information technologies. Working curriculum in the field of training “Law” for students majoring in “Law” (6.030401) — Kyiv: 2012. — 72 p.

Omelchuk L.L., A.B. Stavrovsky. Methodical instructions on preparation and registration of qualification and course works for students of the Faculty of Computer Science and Cybernetics.  – Kyiv: Taras Shevchenko National University of Kyiv, 2017 – 47 p.