Skip to content

BRANCH OVERVIEW

Foundations

The language of sets, maps, and proofs.

← All branches · Each sheet includes definitions, theorems, applications, and exercises with hints and worked solutions.

01

Foundations

The language of sets, maps, and proofs.

Sets & mapsSpecify the objects and the maps between them before manipulating either.
Proof techniquesChoose the logical shape of an argument before choosing its algebra.