Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.
Introduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Introduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.
Covers linear algebra concepts with a focus on functions and their properties.
Explores fixed points in G-sets, applications between sets, and the construction of orbits.
Explores convexity, Jacobians, subdifferentials, and convergence rates in optimization and function analysis.
