**Lecturer:** Pooya Hatami (Dreese Lab **489**, pooyahat-at-gmail-dot-com)

**Office Hours: **TBD

**In person Lectures**:

Monday-Wednesday 1:50 pm – 2:45 pm (Caldwell Laboratory – Room: 177)

**Online Lectures:
**Friday 1:50 pm – 2:45pm (Zoom Lecture)

**Grading: **25% homework + 10% participation+quizzes + 65% Midterm+Final

**Textbook:
**

*Introduction to Algorithms, 3rd Edition*, Cormen, Leiserson, Rivest, and Stein (CLRS)

**Other References:
**

*Discrete Mathematics and Its Applications*, Rosen

**Course Description:
**Propositional and first-order logic; basic proof techniques; graphs, trees; analysis of algorithms; asymptotic analysis; recurrence relations