LEC MW 2:30-3:45pm
DIS F 9:05-11:00am
I E130

P: H211 or C211. Honors version of C241. Credit given for only one
of H241 or C241. 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.