set operations
Summary
Basic operations on sets include intersection, union, and difference. The power set of a set A is the set of all subsets of A.
Context
-this concept has no prerequisites-
Goals
- Know what it means for two sets to be equal
- Know how set union, intersection, and difference are defined mathematically
- Know what the power set is
- Be able to prove simple statements involving all of these concepts
Core resources (read/watch one of the following)
-Free-
→ Stanford CS103: Mathematical Foundations of Computing (2013)
Lecture notes for Stanford's introductory computer science theory course.
-Paid-
→ Elements of Set Theory
An introductory textbook on axiomatic set theory.
Location:
Chapter 2, "Axioms and operations," pages 17-32
Additional dependencies:
- first-order logic
→ The Language of First-Order Logic
An undergraduate logic textbook aimed at philosophers, with an educational software package.
Location:
Chapter 8, "First-order set theory," up through 8.6, "The powerset of a set," pages 207-220
Additional dependencies:
- first-order logic
See also
-No Additional Notes-