Problem Sets

13 January 2025

Problem Set 0: Getting Started [PDF] [Template]
Problem Set 1: Inference and Soundness [PDF] [Template]
Problem Set 2: Methods of Proof [PDF] [Template]
Problem Set 3: Comprehending Sets [PDF] [Template]
Problem Set 4: Finite Set Cardinality [PDF] [Template]
Problem Set 5: Well Ordering [PDF] [Template]
Problem Set 6: Induction [PDF] [Template]
Problem Set 7: Countability [PDF] [Template]
Problem Set 8: (Un)Countable Sets [PDF] [Template]

(Note: solutions to problem sets were shared in the class discord, and are available on request.)

Problem Set ω: Colab Notebook