Elementary discrete math for undergraduate computer science or computer engineering students. Covers basic topics including mathematical logic, direct proof, proof by contradiction, proof by contraposition, counter-example, induction, structural induction, elementary number theory, division, sets, sequences, functions, cardinality, counting, recurrence, recursion, and graph theory. Examples are given in Python 3.