Индуктивно-формальные методы системного анализа представляют собой подходы, которые применяются для анализа и решения сложных системных задач. В вашем вопросе указаны несколько методов, и давайте разберем, какие из них относятся к индуктивно-формальным методам.

• Метод оптимальности по Парето - это метод, который используется для оценки различных вариантов решений с точки зрения их эффективности. Он позволяет находить такие решения, при которых невозможно улучшить одну из целей без ухудшения другой. Этот метод действительно можно отнести к индуктивно-формальным методам.
• Метод прогнозирования - это метод, который основан на анализе исторических данных и тенденций для предсказания будущих событий. Хотя он может использовать формальные подходы, сам по себе он не является индуктивно-формальным методом системного анализа.
• Статистический метод - это метод, который включает в себя сбор и анализ данных для выявления закономерностей. Он может быть частью индуктивного анализа, но сам по себе не является индуктивно-формальным методом.
• Балансовый метод - это метод, который используется для анализа равновесия в системах, например, в экономике. Он также не является индуктивно-формальным методом.

Таким образом, из предложенных вариантов ответов к индуктивно-формальным методам системного анализа можно отнести:

1. Метод оптимальности по Парето
2. Метод прогнозирования
3. Статистический метод

Таким образом, правильные варианты ответа: метод оптимальности по Парето, метод прогнозирования и статистический метод. Надеюсь, это объяснение помогло вам лучше понять, какие методы относятся к индуктивно-формальным методам системного анализа.