Posts

**Final Exam Solutions**

**Problem Set Omega Highlights**

**Class 27: Conclusion**

**Problem Set 9 Comments**

**Final Exam Preparation**

**Problem Set Omega Submission**

**Class 26: Counting and Probability**

**Class 25: Counting**

**Class 24: Return of ROCA**

**Problem Set 9**

**Class 23: Cryptosystems**

**Class 22: Prime Detectives**

**Schedule Updates**

**Class 21: Review**

**Problem Set 8 Comments**

**Class 20: Number Theory**

**Problem Set 7 Comments**

**Class 19: Reviewing Infinities**

**Problem Set 8**

**Class 18: Spooky Infinities**

**Problem Set 6 Comments**

**Class 17: Infinite Sets**

**Problem Set 7**

**Class 16: Structural Induction**

**Class 15: Recursive Data Types**

**Class 14: Invariant Principle**

**Problem Set 6**

**Class 13: State Machines**

**Fall Break Office Hours**

**Problem Set 5 Comments**

**Class 12: Review**

**Problem Set 4 Comments**

**Class 11: Induction Practice**

**Problem Set 5**

**Class 10: Set Cardinality, Induction**

**Problem Set 3 Comments**

**Class 9: Relations, Finite Set Cardinality**

**NAND/XOR Challenge Solved!**

**Problem Set 4**

**Class 8: Sequences, Relations, Functions**

**Problem Set 2 Comments**

**Class 7: Sets**

**Problem Set 3**

**Class 6: Quantifiers and More**

**Problem Set 1 Comments**

**Class 5: CNF, Computing, Quantifiers**

**Problem Set 2**

**Additional Resources**

**Class 4: Logical Operators and Formulas**

**Class 3: Well-Ordering Principle**

**Office Hours Posted**

**Class 2: Proof Methods**

**Class 1: What makes it go?**

**Scanning Advice**

**Fall 2017 Course**