Title: Problemy formalʹnogo analiza sistem