Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Introduces binary relations, functions, and various types of relations in sets.
Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Explores the definition of surfaces, focusing on the torus and its construction through various examples and morphic images.
Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
