"Discrete Mathematics"

as i'm currently studying for my discrete math final i find myself wondering once again what's the application of any of this in programming?

here are some keywords to give you a quick refresher: truth tables, logical equivalences, propositional logic, predicate logic, relations vs. functions, equivalence relations, proof by contraposition/contradiction/induction

give me some god damn motivation

What, a math thread with 8 (!!!!) posts and no mention of jews?