**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 (Scott Laboratory E100)

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

**Grading:
**25% homework + 10% quizzes + 20% midterm 1 + 20% midterm 2 + 25% final exam

**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