Re:

Мне всегда казалось, что Кушниренко и Лебедев пытались ввести излишний формализм. По крайней мере, это было так для университетской книжки. Виденные мной версии школьного учебника, напротив, страдали попыткой изложить популярно то, что можно бы и формализовать. Гораздо сбалансированнее выглядит книжка Шеня - "Программирование: теоремы и задачи" - но и она нуждается в творческом переосмыслении. Для определения списка конкретных алгоритмов я бы воспользовался книжкой Кормен, Лейзерсон, Ривест: "Введение в алгоритмы". Она, как мне кажется, лучше обоих изданий Ахо, Хопкрофта и Ульмана - изложение лучше, чем в старом издании, а материала - больше, чем в новом. Очень многое взял бы из книжки Пойа "Математическое открытие" - это, скорее, в плане методологически-психологическом. Практический курс предварил бы повторением планиметрии и решением задач на построение - очень способствует развитию этого самого алгоритмического мышления.