Automated Checking in Education

This work concerns the automated checking of solutions in education. The article discusses the structure of a problem as a whole body and of its parts, studies various check approaches, introduces problem complexes, suggests methods for creating accurate and consistent problem statements and check sets, and touches the automation of the preparation of problem sets and of the checking processes.