CMSI 2820
← Back to Course

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.

LN 23LN 25

All Lecture Notes

0123456789101112131415161718192021222324252627