Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.
Explores the limit of a sequence, convergence conditions, algebraic operations, and order relations.
Introduces the axiomatic structure of real numbers and their properties, including completeness and the Archimedean property.
Covers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Covers operations and equivalence relations in number theory, including addition, subtraction, multiplication, division, and properties of neutral and inverse elements.
