C241 Discrete Structures for Computer Science (3 cr.) N & M P: C211, and MATH M118 or higher (MATH M211 recommended). Induction and recursive programs, running time, asymptotic notations, combinatorics and discrete probability, trees and lists, the relational data model, graph algorithms, propositional and predicate logic.