Вычисление инвариантов последовательных программтезисы доклада