Описание последствий выполнения конструкций языка программирования с помощью множеств, соответствий, суждений, утверждений и др. соответствует