Алгоритмы и их формальное представление: основы и примеры