Your average computer science practitioner, however, might be bet- ter served by a dierent approach. There are elements to the dis- crete math mindset that a budding software developer needs ex- perience with. This is why discrete math is (properly, I believe) part of the mandatory curriculum for most computer science un- dergraduate programs. But for future programmers and engineers, the emphasis should be dierent than it is for mathematicians and researchers in computing theory. A practical computer scientist mostly needs to be able to use these tools, not to derive them. She needs familiarity, and practice, with the fundamental concepts and the thought processes they involve. The number of times the average software developer will need to construct a proof in graph theory is probably near zero. But the times she'll nd it useful to reason about probability, logic, or the properties of collections are frequent.