Проверка решения задач: виды и методы анализа