Устранение операторов прошлого в сигнальной логикетезисы доклада