CSE 2321: Foundations I

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