Class 2: Truth and Soundness

Schedule

• Problem Set 0 is due on Thursday (8:29pm) [PDF] [Overleaf Template]
• Read Chapter 1 of the MCS Book
• Problem Set 1 will be posted on Friday, and due next Thursday (23 Jan, 8:29pm)

Class

• Defense of Analog Computing
• “Hard” Problems
• Propositions
• Booleans
• Operations on Booleans

Note: Didn’t get to “Soundness”, but will on Friday.

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]