Title: Formalʹnye metody i modeli informatiki