Lvov M. Theoretical bases for construction of computer mathematics systems for educational purposes

The thesis is devoted to the research of the functional requirements, mathematical models and methods for construction the systems of computer mathematics, designed to study the educational subjects, based on the mathematical knowledges (mathematical models and methods). These systems use both symbolic (algebraic) computations and computer algebra methods. Based on the analysis of educational processes of accurate science's subjects, first proposed the concept of a system of computer mathematics of educational appointment as intellectual information system to support the educational process. The system should support all the educational activities of key actors of educational process. The basic problem was defined and solved: how to combine the potentially wide opportunities associated with the use of symbolic transformations and computer algebra with the requirements of intelligent educational systems capabilities. Special attention is given to mathematical models and methods of solution process support. Algorithms for algebraic computation and problem solving in many subject domains are also presented. Keywords: information systems for educational purposes, symbolic transformations, computer algebra.