SOLUTION OF MATHEMATICAL LOGIC TASKS BY MEANS OF APPLIED PROGRAMS
The article deals with a problem of the use of information technology in the teaching of mathematical disciplines to students of humanitarian specialties. The importance of using applied mathematical packages, namely MatCad, is considered. This instrumental environment has a friendly interface, they implement many standard and special mathematical operations, are equipped with powerful graphical tools and have their own programming languages, which allow to visualize mathematical operations that are difficult for students to understand. Therefore, the author suggests using the MatCad tool environment for solving mathematical logic problems. Computer support of mathematical logic represents opportunities aimed, on the one hand, at the formation of mathematical skills using computer technology, and on the other hand, at students mastering specific skills of applying information technologies in mathematics.