Improving the Learning and Teaching of Mathematical Logic Elements Using Maple

Authors

  • Aleksandr A. Olenev Stavropol State Pedagogical Institute, Ufa State Petroleum Technological University
  • Larisa G. Zvereva Stavropol State Pedagogical Institute
  • Timor H. Saieg Stavropol State Pedagogical Institute

DOI:

https://doi.org/10.33423/jhetp.v22i8.5315

Keywords:

higher education, Maple, interactive application, mathematical logic, teaching mathematical logic, Maplet, mathematical education, learning mathematical logic, truth table, principal normal forms

Abstract

The study of the elements of mathematical logic and its sections, especially in the process of teaching in high school in general and specialized courses of mathematics or higher educational institutions, is a rather tricky task. The paper demonstrates how one can design and develop a package of interactive applications to help learn, understand, and apply the essential elements of mathematical logic. The research aims to develop and describe an interactive application for studying the order of constructing truth tables and studying and demonstrating the production of principal normal disjunctive and conjunctive forms. The development is based on the methods of the Maple computer algebra system of the Maplet library. In addition, other methods are used to solve the research issues – theoretical and accurate analytical solutions to mathematical logic issues. All constructed material (Maplet) will serve as a good simulator for students, allowing one to perform an infinite number of attempts to analyze, synthesize, and build truth tables.

Downloads

Published

2022-08-11

How to Cite

Olenev, A. A., Zvereva, L. G., & Saieg, T. H. (2022). Improving the Learning and Teaching of Mathematical Logic Elements Using Maple. Journal of Higher Education Theory and Practice, 22(8). https://doi.org/10.33423/jhetp.v22i8.5315

Issue

Section

Articles