Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Sets and FunctionsIntroduces binary relations, functions, and various types of relations in sets.
Surfaces: The TorusExplores the definition of surfaces, focusing on the torus and its construction through various examples and morphic images.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Consequences of TBSExplores the consequences of the Total Bell System (TBS) in a commutative body.