Steffi Zegowitz

University of Bristol

## Teaching

I currently teach MATH 10010 on `**Introduction to Proofs**' at the University of Bristol. Please find the lecture notes to this course below:

- S1: Introduction: sets and functions
- S2: Truth tables, equivalences and contrapositives
- S3: Negations and contrapositives of statements with quantifiers
- S4: Set operations
- S5: Partitioning sets, equivalence relations and congruences
- S6: Algorithms and recursion
- S7: Mathematical induction and the Fundamental Theorem of Arithmetic
- S8: Cardinality
- S9: Uncountable sets and power sets
- A: More proofs using contradiction, construction and induction

**Writing Mathematical Proofs`**at the University of Exeter. Please find the course material below: