Core topics include proof techniques, sets, functions, relations, and cardinality, with selected additional topics that provide many possibilities for further exploration. With a problem-based ...
The book begins by gently introducing proof-based thinking by posing well-motivated prompts and exercises concerning ... The book proceeds with introducing formal logic, mathematical induction, set ...