Сильную тему поднял автор
Тенденции, конечно, верно подмечены. Роль дискретной математики в ИТ-образовании, конечно, должна быть усилена. С другой стороны, в нашем регионе типичная работа выпускника ИТ не требует вообще никакой математики - ни классической, ни дискретной. Разве что студенты, ездившие на чемпионат мира по программированию АСМ, понимают, что могут быть востребована математика, отличная от средней школы и алгоритмы посложнее пузырьковой сортировки.
По поводу предлагаемой программы.
Учитывая то, что большую часть курса теории вероятностей в министерских программах для инженеров по этой дисциплине составляет "классическая"-конечная теория вероятностей, в которой важную роль играет подсчет различных сочетаний\перестановок и т.п., курс комбинаторики необходимо читать до курса теории вероятностей.
Также не увидел курса, посвященного теории конечных автоматов, машин Тьюринга, проблемам вычислимости и алгоритмической разрешимости, бесспорно, необходимые ИТ-специалисту. Хотя, с большой натяжкой это можно к математической логике отнести или даже в сферу компетенции информатики.