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