Методы проверки правильности решения задач: подходы и примеры