PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
Below are notes I’ve taken from the lectures:
Lecture 3 – September 6
Lecture 4 – September 11
Lecture 7 – September 20
Lecture 9 – September 25
Lecture 10 – October 2
Lecture 11 – October 4
Lecture 12 – October 9
Lecture 13 – October 11
Lecture 15 – October 18
Lecture 16 – October 23
Lecture 17 – October 25
Lecture 18 – October 30
Exam 2 Review – October 30
Lecture 19 – November 6
Lecture 20 – November 13
Lecture 21 – November 15
Lecture 22 – November 20
Lecture 23 – November 27
Lecture 25 – December 6