University Mathematics
Introduction to Proofs
The bridge from computation to proof: logic, sets, functions and the standard proof techniques that every later mathematics course assumes.
Curriculum / Syllabus
- Propositional Logic and Quantifiers
- Direct Proof, Contrapositive and Contradiction
- Mathematical Induction
- Sets and Set Operations
- Relations, Equivalence Relations and Partitions
- Functions: Injective, Surjective and Bijective
- Cardinality and Countable Sets
Exam & Course Strategy
Exams ask for complete written proofs. We work on the writing itself: choosing the right technique, stating clearly what is assumed and what is to be shown, and checking every step.