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 ProofsIntroduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Introduction to AnalysisCovers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.
Relations in Computer ScienceExplores the properties of relations in computer science, including equivalence relations and the partition of a set.
Basic NotionsCovers the basic concepts of sets, functions, and number systems.
Sets and FunctionsIntroduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.
Linear Algebra: CMSCovers linear algebra concepts with a focus on functions and their properties.