Login to filter by course Login to filter by course Reset
Explains the concept of infimum in real numbers and its properties.
Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.
Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
Covers the concept of supremum in real numbers and its properties as the least upper bound of a set.
Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
