The Use of Instrumental and Controlling Program Master of Logic for Solving the Basic Class Problems of Propositional Algebra: Didactic Aspect

K. M. Lyubchenko^1,

¹Department of Computer Science and Information Management Systems, Cherkasy B.Khmelnytsky National University, Cherkasy, Ukraine

Cite this paper:
K. M. Lyubchenko. The Use of Instrumental and Controlling Program Master of Logic for Solving the Basic Class Problems of Propositional Algebra: Didactic Aspect. World Journal of Chemical Education. 2013; 1(11):555-560. doi: 10.12691/education-1-11-17

Abstract

The basic opportunities of Master of Logic program are considered in the article. A number of examples concerning its practical use while solving the basic class problems of propositional algebra are given. Program controlling component helping to develop and take measures to control students' and pupils' knowledge and skills more efficiently is considered. The article is primarily assigned for Discrete Mathematics, Mathematical Logics, Artificial Intelligence, etc. teachers of higher schools, Computer Science and Mathematics teachers of secondary schools, students of corresponding specialities and pupils.

Keywords:
learning tools mathematical logics propositional algebra Master of Logic

This work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Figures

References:

[1]	Belousov, A.I., Tkachov, S.B, Discrete Mathematics: Textbook for Higher Schools, Bauman MSTU Publ.House, Moscow, 2004, 744.
[2]	Igoshyn, V.I, Mathematical Logics and Algorithm Theory: Textbook for Higher School Students, "Academy" Publishing Centre, Moscow, 2008, 448.
[3]	Lyubchenko, K.M., Tryus, Y.B, Element of Mathematical Logics with Computer Support: Textbook for teachers, Publishing Department of CHU, Cherkasy, 2004, 88.
[4]	Mikhailenko, V.M., Fedorenko, N.D., Demchenko, V.V, Discrete Mathematics: Textbook, European University Publishing House, Kyiv, 2003, 319.
[5]	Nikolsky, Y.V., Pasichnyk, V.V., Shcherbyna, Y.M, Discrete Mathematics, BHV Publishing Group, Kyiv, 2007, 368.
[6]	Novikov, F.A, Discrete Mathematics for Programmers: Textbook for Higher Schools, Piter, St. Petersburg, 2009, 384.
[7]	Pryima, S.M, Mathematical Logics and Algorithm Theory: Textbook, "MMD Publishing House", Melitopol, 2008, 134.
[8]	Applied Theory of Digital Machines / К.G. Samofalov, А.М. Romankevych, V.N. Valuisky, Y.S. Kanevsky, M.М. Pinevich, Vyshcha shkola, Main Publishing House, Kiev, 1987, 375.
[9]	Ramsky, Y.S, Logic Basis of Computer Science: Textbook, National M.P. Drahomanov Pedagogical University, Kyiv, 2003, 286.
[10]	Yablonsky, S.V, Introduction to Discrete Mathematics : Textbook for Higher Schools, Higher School, Moscow, 2003, 384.
[11]	Master of Logic. [Online]. Available: http://lkn.univer.cherkassy.ua/. [Accessed Oct. 7, 2013].