Я закончил давным давно ВМК, т.е. прошел куеву хучу математических дисциплин. 8 семестров мат.анализа чего только стоят.
Так вот, мне пришлось использовать ВСЕ данные мне ЗНАНИЯ, т.е. в одном проекте это была алгебра и аналитическая геометрия, в другом теория вероятностей и т.п. Я как то провел инвентаризацию, так вот меньше всего я использовал теорвер. Остальное все пришлось использовать по полной программе. Может мне конечно повезло, но и другим наверняка чего то пришлось использовать. Уверен на 100% , что дискретную математику использовали почти все.
Вот последние 20 лет это да, только базы и коммерческое программирование. Деньги дает, но удовольствия не доставляет, интересных задач здесь очень мало. Но и то пришлось как то разработать систему исчисления предикатов для одного проекта. Объяснить, что это значит для человека без высшего образования сложно. Даже и с высшим иногда тоже, Объяснял я как то выпускнику Сорбонны французу про предикаты. Поразился насколько узкое у них образование, ни логики, ни философии. Ни хрена он не понял.