Introduces students to ideas and techniques from discrete mathematics that are ... Topics include formal logic notation, proof methods; set theory, relations; induction, well-ordering; algorithms, ...