Формализация в экономике: основные методы и их применение