Методы моделирования и формализации в информатике