Skip Navigation Links.
Collapse <span class="m110 colortj mt20 fontw700">Volume 10 (2022)</span>Volume 10 (2022)
Issue 11, Volume 10, 2022
Issue 10, Volume 10, 2022
Issue 9, Volume 10, 2022
Issue 8, Volume 10, 2022
Issue 7, Volume 10, 2022
Issue 6, Volume 10, 2022
Issue 5, Volume 10, 2022
Issue 4, Volume 10, 2022
Issue 3, Volume 10, 2022
Issue 2, Volume 10, 2022
Issue 1, Volume 10, 2022
Collapse <span class="m110 colortj mt20 fontw700">Volume 9 (2021)</span>Volume 9 (2021)
Issue 12, Volume 9, 2021
Issue 11, Volume 9, 2021
Issue 10, Volume 9, 2021
Issue 9, Volume 9, 2021
Issue 8, Volume 9, 2021
Issue 7, Volume 9, 2021
Issue 6, Volume 9, 2021
Issue 5, Volume 9, 2021
Issue 4, Volume 9, 2021
Issue 3, Volume 9, 2021
Issue 2, Volume 9, 2021
Issue 1, Volume 9, 2021
Collapse <span class="m110 colortj mt20 fontw700">Volume 8 (2020)</span>Volume 8 (2020)
Issue 12, Volume 8, 2020
Issue 11, Volume 8, 2020
Issue 10, Volume 8, 2020
Issue 9, Volume 8, 2020
Issue 8, Volume 8, 2020
Issue 7, Volume 8, 2020
Issue 6, Volume 8, 2020
Issue 5, Volume 8, 2020
Issue 4, Volume 8, 2020
Issue 3, Volume 8, 2020
Issue 2, Volume 8, 2020
Issue 1, Volume 8, 2020
Collapse <span class="m110 colortj mt20 fontw700">Volume 7 (2019)</span>Volume 7 (2019)
Issue 12, Volume 7, 2019
Issue 11, Volume 7, 2019
Issue 10, Volume 7, 2019
Issue 9, Volume 7, 2019
Issue 8, Volume 7, 2019
Issue 7, Volume 7, 2019
Issue 6, Volume 7, 2019
Issue 5, Volume 7, 2019
Issue 4, Volume 7, 2019
Issue 3, Volume 7, 2019
Issue 2, Volume 7, 2019
Issue 1, Volume 7, 2019
Collapse <span class="m110 colortj mt20 fontw700">Volume 6 (2018)</span>Volume 6 (2018)
Issue 12, Volume 6, 2018
Issue 11, Volume 6, 2018
Issue 10, Volume 6, 2018
Issue 9, Volume 6, 2018
Issue 8, Volume 6, 2018
Issue 7, Volume 6, 2018
Issue 6, Volume 6, 2018
Issue 5, Volume 6, 2018
Issue 4, Volume 6, 2018
Issue 3, Volume 6, 2018
Issue 2, Volume 6, 2018
Issue 1, Volume 6, 2018
Collapse <span class="m110 colortj mt20 fontw700">Volume 5 (2017)</span>Volume 5 (2017)
Issue 12, Volume 5, 2017
Issue 11, Volume 5, 2017
Issue 10, Volume 5, 2017
Issue 9, Volume 5, 2017
Issue 8, Volume 5, 2017
Issue 7, Volume 5, 2017
Issue 6, Volume 5, 2017
Issue 5, Volume 5, 2017
Issue 4, Volume 5, 2017
Issue 3, Volume 5, 2017
Issue 2, Volume 5, 2017
Issue 1, Volume 5, 2017
Collapse <span class="m110 colortj mt20 fontw700">Volume 4 (2016)</span>Volume 4 (2016)
Issue 20, Volume 4, 2016
Issue 19, Volume 4, 2016
Issue 18, Volume 4, 2016
Issue 17, Volume 4, 2016
Issue 16, Volume 4, 2016
Issue 15, Volume 4, 2016
Issue 14, Volume 4, 2016
Issue 13, Volume 4, 2016
Issue 12, Volume 4, 2016
Issue 11, Volume 4, 2016
Issue 10, Volume 4, 2016
Issue 9, Volume 4, 2016
Issue 8, Volume 4, 2016
Issue 7, Volume 4, 2016
Issue 6, Volume 4, 2016
Issue 5, Volume 4, 2016
Issue 4, Volume 4, 2016
Issue 3, Volume 4, 2016
Issue 2A, Volume 4, 2016
Issue 2, Volume 4, 2016
Issue 1, Volume 4, 2016
Collapse <span class="m110 colortj mt20 fontw700">Volume 3 (2015)</span>Volume 3 (2015)
Issue 12B, Volume 3, 2015
Issue 12A, Volume 3, 2015
Issue 12, Volume 3, 2015
Issue 11, Volume 3, 2015
Issue 10A, Volume 3, 2015
Issue 10, Volume 3, 2015
Issue 9, Volume 3, 2015
Issue 8, Volume 3, 2015
Issue 7, Volume 3, 2015
Issue 6, Volume 3, 2015
Issue 5, Volume 3, 2015
Issue 4, Volume 3, 2015
Issue 3, Volume 3, 2015
Issue 2, Volume 3, 2015
Issue 1, Volume 3, 2015
Collapse <span class="m110 colortj mt20 fontw700">Volume 2 (2014)</span>Volume 2 (2014)
Issue 12C, Volume 2, 2014
Issue 12B, Volume 2, 2014
Issue 12A, Volume 2, 2014
Issue 11A, Volume 2, 2014
Issue 12, Volume 2, 2014
Issue 11, Volume 2, 2014
Issue 10, Volume 2, 2014
Issue 9, Volume 2, 2014
Issue 8A, Volume 2, 2014
Issue 8, Volume 2, 2014
Issue 7, Volume 2, 2014
Issue 6, Volume 2, 2014
Issue 5, Volume 2, 2014
Issue 4, Volume 2, 2014
Issue 3, Volume 2, 2014
Issue 2, Volume 2, 2014
Issue 1, Volume 2, 2014
Collapse <span class="m110 colortj mt20 fontw700">Volume 1 (2013)</span>Volume 1 (2013)
Issue 12, Volume 1, 2013
Issue 11, Volume 1, 2013
Issue 10, Volume 1, 2013
Issue 9, Volume 1, 2013
Issue 8, Volume 1, 2013
Issue 7, Volume 1, 2013
Issue 6, Volume 1, 2013
Issue 5, Volume 1, 2013
Issue 4, Volume 1, 2013
Issue 3, Volume 1, 2013
Issue 2, Volume 1, 2013
Issue 1, Volume 1, 2013
American Journal of Educational Research. 2013, 1(11), 555-560
DOI: 10.12691/EDUCATION-1-11-17
Research Article

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

K. M. Lyubchenko1,

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

Pub. Date: November 19, 2013
(This article belongs to the Special Issue Ensuring the quality of higher education)

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

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

Copyright

Creative CommonsThis 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/

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].