@article{education201311117,
author={Lyubchenko, K. M.},
title={The Use of Instrumental and Controlling Program Master of Logic for Solving the Basic Class Problems of Propositional Algebra: Didactic Aspect},
journal={American Journal of Educational Research},
volume={1},
number={11},
pages={555--560},
year={2013},
url={http://pubs.sciepub.com/education/1/11/17},
issn={2327-6150},
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.},
doi={10.12691/education-1-11-17}
publisher={Science and Education Publishing}
}