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