Из Вики: "В рамках учебных программ дискретная математика обычно рассматривается как совокупность разделов, связанных с приложениями к информатике и вычислительной технике: теория функциональных систем, теория графов, теория автоматов, теория кодирования, комбинаторика, целочисленное программирование". Всем этим часто занимаются программисты. Хотя и, конечно, не все.
Да потому что даже элементарно проще написать одну формулу и составить по ней программу, чем расписывать в пять листов что где появляется и куда все девается. В основе -основ логике, даже 10 переменных проще и лучше описать формулой.
Чтобы писать эффективный код. А не говнокодить под девизом "железо всё вытянет". В программировании вообще НИЧЕГО, кроме математики, НЕТ. Любая строчка твоего кода - это уже математика.