Основы формальной постановки задач оптимизации