Foundations I: Discrete Structures

2 units · Graduate

Propositional and first-order logic; basic proof techniques; graphs, trees; analysis of algorithms; asymptotic analysis; recurrence relations. Prereq: 5022 or equiv. Not open to students with credit for 2321, 625, or 680.