CMSI 2820

LN 24: Setting the Record Straight

Standard: Set Theory

In this lecture we recap the semester of work to tie up our investigation of Type theory. We then contrast it against Set theory.

Lecture Date

📅 April 21, 2026

Standard

Set Theory

Topics Covered

Coming soon

Content for this lecture note is coming soon.

Create a file at content/cmsi-2820/notes/ln24.mdx to add content.