Замечание Info21здесьв который раз ориентирует на форму книги, подобную "Решению сложных задач".
Тут видятся такие категории задач:
* "маленькие шаги" - узко поставленные и несложно решаемые; составляют большинство по числу;
* "большие проекты" - со сложными решениями и, как правило, межпредметные; даются в количестве нескольких штук; помимо прочего, предполагают командное решение (и усвоение соответствующего типа работы);
* "букварь" - сложные задачи с разбором решений для иллюстрации основных понятий и связей в дисциплине моделирования/формализации; также несколько.Примером первой категории служат большинство задач из "Решения". Также нужны задачи на работу с языками, чтобы исподволь вводить понятия формального и неформального языка, математической модели естественного языка. И математические - вроде символьных вычислений уРыжикова- чтобы вводить уже вопросы доказательства (тоже формального и неформального), логики.

Примером второй - такие, как моделирование движения планет (если подходить серьёзно и с приложениями - напр., межпланетные сообщения - и соответственно использовать "на всю катушку" математику и небесную механику, как уДагаева). Или как составление расписаний в "Искусстве алгоритмизации".

Примером третьей - гетерогенная очередь уСвердлова, многие примеры в "КП с нуля" (скажем,этот), задачи на "формализацию формализации", вродеэтой. Но этим не исчерпывается - надо показывать среду, концепцию построения документа в ней, выстраивание архитектуры. И верификацию с доказательностью (что должно проходить и через работу с другими задачами).