Science and Education Publishing American Journal of Educational Research 2327-6150 1 11 2013 11 19 The Use of Instrumental and Controlling Program Master of Logic for Solving the Basic Class Problems of Propositional Algebra: Didactic Aspect 555 560 EN K. M. Lyubchenko Department of Computer Science and Information Management Systems, Cherkasy B.Khmelnytsky National University, Cherkasy, Ukraine EDUCATION201311117 10.12691/education-1-11-17 2013 09 30 2013 10 12 2013 11 19 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.