Слайд Сигнатурные алгоритмы и доказательство остановки