Title: Formalizat︠s︡ii︠a︡ dinamicheskikh sistem