C241 Discrete Structures for Computer Science (3 cr.) P: C211.
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.