Now that we've seen how first-order logic influences proof structure, we'll circle back around to set theory and see how to rigorously prove results about sets. This skill will become indispensible later in the quarter as we talk about what it formally means to solve a problem.
Readings
File Attachments
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.