Modeling set theory laws using maple computer algebra system

Abstract

The paper outlines ways in which the Maple computer algebra system can be used to master one of the branches of discrete mathematics – set theory. Computer algebra systems (CAS) expand the possibilities of creating, applying and using mathematical models on a daily basis by engineers, researchers, and foster the improved training of students in a wide range of disciplines. In addition, computer technology can help implement such methods as genetic approach and the use of various techniques to representing target objects in education. The most suitable for teaching discrete mathematics and mathematics at large are computer algebra systems such as Maple and Mathematica. The paper provides a Maple framework designed for the initial stages of mastering discrete mathematics within university curriculum, in particular, for working with the basic concepts and laws of set theory.