Алгоритм и его формальное исполнение презентация, доклад