The goals of the course are first and foremost, to become proficient in the culture and practice of theoretical mathematical thinking, to:
- understand written mathematics
- communicate mathematics
- study mathematics effectively in an independent way
- distinguish logical correctness and error
- cultivate mathematical creativity
- synthesize and use novel definitions
- create novel proofs
and, I hope, to enjoy the process.
Second, we aim to become proficient in the use of
- logic
- set theory
- functions
- relations
- induction
- counting
- further topics