http://video.yandex.ru/users/ya-events/ ... %BE%D0%B2/
http://video.yandex.ru/users/ya-events/ ... %BE%D0%B2/

Очень рекомендую посмотреть. Лекция очень интересна. Про историю алгоритмики на примере алгоритма наибольшего общего делителя. Про связь с математикой. Про обобщенные алгоритмы. Про то, что нельзя математику изолироваться от реального мира, в частности, математик обязан знать и интересоваться физикой. Живо, интересно, не заумно. Правда иногда забывает русские слова (это его первая лекция в россии на русском после 30ти летнего перерыва).

Обсуждение (бОльшая часть второй ссылки (меньшая часть -- конец лекции) ) тоже очень интересно. Читайте Кнута, читайте Вирта. Обязательно прочитайте Начала Эвклида. Не читайте Александреску"Вам очень повезло что вам в школе-институте учили программировать на паскале". Был упомянут Оберон. Была упомянута новая книжка Степанова. Язык должен быть маленьким, С++ это явный перебор. В книжке приводится язык с полным описанием на 9 страниц.

Ну и т.п.