Posts

**Fall 2017 Course**

**Final Exam Solutions**

**Problem Set Omega Highlights**

**Class 26: Wrap-Up**

**Practice Problems Solutions**

**Class 25: Cryptography**

**Class 24: Halting Problems**

**Final Exam Preparation**

**Trees Challenge**

**Problem Set 9 Solutions and Comments**

**Submitting Problem Set Omega**

**Class 23: Universal Machines**

**Exam 2 Solutions**

**Class 22: On Computable Numbers**

**Problem Set Omega**

**Class 21: Infinite Infinites, Exam 2**

**Class 20: Elections, Review**

**Problem Set 8 Solutions and Comments**

**Problem Set 7 Solutions and Comments**

**Class 19: Uncountable Sets**

**Problem Set 8 Revisions**

**Class 18: Infinite Sets**

**Problem Set 6 Comments**

**Problem Set 8**

**Class 17: Structural Induction**

**Class 16: Recursive Data Types**

**Problem Set 7 - Revised**

**Problem Set 7**

**Class 15: Stable Matchings**

**Problem Set 6**

**Class 14: Invariant Principle**

**Class 13: State Machines**

**Exam 1 Solutions**

**Problem Set 5 Comments**

**Three-Clause Challenge Refuted!**

**Anonymous Feedback Comments**

**Class 12: Review**

**Problem Set 4 Comments**

**Satisfiable Formula Challenge**

**Chicken vs. Egg Challenge**

**Class 11: Strong Induction**

**Self-Inverting Relations Challenge Solved!**

**Problem Set 5**

**Class 10: In(tro)duction**

**Problem Set 3 Comments**

**Class 9: Cardinality**

**Survey Questions (Part 3)**

**Anonymous Feedback Comments**

**Problem Set 2 Comments**

**Problem Set 4**

**Class 8: Relations**

**Generating PDFs**

**Anonymous Feedback Comments**

**Class 7: Sets**

**Problem Set 1 Comments**

**Survey Questions (Part 2)**

**Problem Set 3**

**Class 6: SAT Solving**

**Class 5: CNF, Quantifiers, and Proofs**

**Challenge Solved!**

**Problem Set 2**

**Class 4: Logical Formulas**

**Class 3: Well-Ordering Principle**

**Office Hours Posted**

**Survey Questions**

**Problem Set 1**

**Class 2: Proof Methods**

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