Provided Materials
On the midterm I will supply two “cheatsheets”:
- The set of inference rules for propositional logic in the Fitch-style.
- The set of symbols and descriptions on the Useful Symbols page.
Topics
The following topics are all fair game for the midterm:
- Sets
- Definition
- Notation
- Set builder notation
- Set equality
- Subset / proper subset
- Power sets
- Union / intersection / difference
- Lists
- Definition
- Notation
- Comparison with sets
- Relations
- Definition
- Notation
- Cartesian product
- Functions
- Definition
- Notation
- Comparison with relations
- Function composition
- Math functions vs. computer functions
- Partial vs. total functions
- One-to-one / onto / bijective functions
- Invertable functions
- Propositional logic
- Propositions
- Truth tables (you’ll need to know definitions of the connectives for this)
- Tautologies (and how to show something is a tuatology)
- Truth table arguments (and if they are valid/invalid)
- Fitch-style proofs (no predicate logic with quantifiers)