Интеллектуальная система для поддержки решения неформальных задач H.B. Андриенко Matematiceskie issledovanija