Formalization of subsystem of quality control of knowledge of tutor system

The article presents the formalization of the learning process as the basis of the model of the knowledge quality control subsystem. Such a model can be used in the development of an information system that provides quality control of students' knowledge, skills and abilities during the learning process of any form (traditional, distance, etc.).