Term 1 · Unit 1
Proof and mathematical language
Logic, quantifiers, sets, functions and rigorous proof construction.
- Statements and quantifiersNegate and combine quantified mathematical statements.
- Sets and mappingsUse set operations, images, inverse images and Cartesian products.
- Direct proofConstruct direct proofs from definitions and hypotheses.
- Contradiction and contrapositiveChoose and execute indirect proof strategies.
- Mathematical inductionProve identities, divisibility and inequalities by induction.