Мысленное моделирование в информатике: примеры и использование