
NOTE: "Typo" in what I wrote on one slide: R={x: x \not\in x}. Basics of sets. The only basic vocabulary is \in and \emptyset. Defining other relations: union, intersection complement,…


Basics of sets. The only basic vocabulary is \in and \emptyset. Defining other relations: union, intersection complement, set difference, symmetric difference. Identities and their proofs, including…






Errata: starting at 8:30, I show Python code with the function reduction_from_clique_to_independent_set. This should be reduction_from_independent_set_to_clique instead.








