Class 5: Cantor’s Theorem, Computation

We finished Cantor’s Theorem and the “representations” of objects. The slides are here.

Jan 28, 2025

Class 4: Infinite Sets

We discussed the cardinality of infinite sets, inclulding countable, uncountable, and power sets. The slides are here.

PS2 is due next Friday, 10:00pm. PRR2 is posted on Gradescope and due next Monday, 10:00pm.

Jan 23, 2025

Class 3: Binary representations and Cardinality

It worths repeating: The best way to learn in this class is to ask and answer questions. We know it is challenging given the number of people in the same classroom. However, we can extend that to TA/office hours, online discussion, and more.

Today we talked more on constructive definitions and cardinality of sets. The slides are here.

Jan 21, 2025

Class 2: Definitions and Proofs

The most important point today: making sure you do NOT suffer, NOT lie, NOT cheating, NOR stealing.

We also discussed good / bad definitions, natural numbers, and constructive difinition. The slides are here.

PRR1 is released, and PS1 is also released in PDF and Latex template.

Jan 16, 2025

Class 1: Introduction

We covered the goal of this course and the coursework.

The slides are posted.

Please remember to finish the Registration Survey.

Jan 14, 2025