S
T
L
P
I
M
U
N
Use precise notation to encode meaning and present arguments concisely and clearly
Learning Goal: Precisely describing a set using appropriate notation e.g. roster method, set builder notation, and recursive definitions
PDF LaTeX Raw HTML
Learning Goal: Defining important sets of numbers, e.g. set of integers, set of rational numbers
Learning Goal: Defining functions, predicates, and binary relations using multiple representations
Learning Goal: Listing the truth tables of atomic boolean functions (and, or, xor, not, if, iff)
Learning Goal: Using functions to compare cardinality of sets
Learning Goal: Classifying sets into: finite sets, countably infinite sets, uncountable sets