PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Below are notes I’ve taken for the lectures.
Lecture 1 – January 16
Lecture 2 – January 18
Lecture 3 – January 23
Lecture 4 – January 25
Lecture 5 – January 30
Lecture 6 – February 1
Lecture 7 – February 6
Lecture 8 – February 8
Lecture 9 – February 13
Lecture 10 – February 20
Lecture 11 – February 27
Midterm Review
Lecture 12 – March 13
Lecture 13 – March 20
Lecture 14 – March 22
Lecture 15 – March 27
Lecture 16 – March 29
Lecture 17 – April 3