Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Covers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
Introduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.
