Development of the Active Teaching Materials in Mathematics Education

Abstract

When considering a human model, the model must be viewed as a process model, as a knowledge model, and as a control model. We can consider that such an approach has been applied to the understanding of theorem proving. Humans appear to use two types of knowledge to understand, investigate and act. The human model for understanding in mathematical thinking is based on a three-level model of human action. In cognitive science, human beings use strategies to solve problems. Strategies are also used when human beings solve mathematical problems. We used a three-level human behavior model to analyze the targets that appear during problem solving and the strategies used to solve the problems Development of the teaching materials to help activity of students in university mathematics education has a lot of attention. The computer technology promoted the use of efficient software within mathematics education. In this paper, we show a practical example of geometry theorem proving as a training example of knowledge base and consider the effectiveness of using computer in university mathematics education.