Какими методами решаются формализованные задачи