Sets and ProofsIntroduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Linear Algebra: CMSCovers linear algebra concepts with a focus on functions and their properties.
Convexity and JacobiansExplores convexity, Jacobians, subdifferentials, and convergence rates in optimization and function analysis.
Points Fixes in G-setsExplores fixed points in G-sets, applications between sets, and the construction of orbits.
Course Overview: Teaser on Course ContentsOffers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.
Sets and FunctionsIntroduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.
Sets and FunctionsIntroduces sets, functions, and their properties, including injective and surjective functions, composition, and inverse functions.
Sets and FunctionsIntroduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.
Introduction to FunctionsCovers the basics of functions, including domain, codomain, image, and range, as well as injections, surjections, and bijections.