заинтересовался вышеприведенными книгами Кушниренко А.Г., Лебедева Г.В.:
благо факультет информатики наши соседи, помогли найти нужное
взял почитать "основы информатики и вычислительной техники" 90г
открыл для себя программирование заново)
после этого сразу взял еще:

"информатика 7-9"  2002г
похоже на обновленную версию первой книги
из сразу из замеченных изменений:
некоторые разделы по алгоритмам пересмотрены
например про инвариант цикла параграф изменился
появился исполнитель "стековый калькулятор"
появился алгоритм сортировки "таблиц"
рассуждения про тестирование алгоритмов и доказательство алгоритмов
пропал параграфы про рекуррентные соотношения и рекурсии.

"основы информатики и вычислительной техники. пособие для учителя" 92г
еще не смотрел

"12 лекций о том, для чего нужен школьный курс информатики и как его преподавать" 2000г
на эту книгу хотелось бы обратить особое внимание(только начал ее читать, но мысли с первых страниц актуальные)
как пример
"выбор средств оказывает влияние на на сложность решаемых нами задач И НА ТО, ЧТО МЫ ИЗУЧАЕМ"
ну и приводятся интересные аналогии
но есть вопросы, не совсем пока понятные...
идут рассуждения о том что необходимо включать в базовый курс программирования в школе
действия=> команды (циклы)=> вспом. алгоритмы
объекты=> величины (табличные величины)=> исполнители
при чем
вспомогательные алгоритмы(подпрограммы), как элемент структурирования действий
и ставиться вопрос
что будет структурированием данных? - исполнители
но как примеры в современных языках приводятся:
ада-пакет
модула-модуль
паскаль-юнит
с++ и симула- объект
....
"наиболее распространенный термин, используемый в научных журналах и и рекламных объявления - это ООП"
вообще, как я понимаю юнит и пакет идеологически ближе как раз к модулям в обероне(может и ошибаюсь)
если так, то понятно почему для с++ называется объект(берут на себя функции модуля тк их нет)
получается, что не столь к ООП...

вообщем для учителя информатики книга довольно интересная, но вот некоторые вопросы хотелось бы уточнить...

"программирование для математиков" не нашел к сожалению
тоже было бы интересно посмотреть

вот такие первоначальные впечатления от начала знакомства с представленными книгами

ПС: наhttp://www.infomir.ru/выложены версия КуМира для дос, линух и винду