Поиск решения задач, формальные модели которых сводятся к ...