Article citationsMore >>

Mikhailenko, V.M., Fedorenko, N.D., Demchenko, V.V, Discrete Mathematics: Textbook, European University Publishing House, Kyiv, 2003, 319.

has been cited by the following article:

Article

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

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


American Journal of Educational Research. 2013, Vol. 1 No. 11, 555-560
DOI: 10.12691/education-1-11-17
Copyright © 2013 Science and Education Publishing

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. American Journal of Educational Research. 2013; 1(11):555-560. doi: 10.12691/education-1-11-17.

Correspondence to: K.  M. Lyubchenko, Department of Computer Science and Information Management Systems, Cherkasy B.Khmelnytsky National University, Cherkasy, Ukraine. Email: lkn@ukr.net

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