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.
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, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.
Introduces sets, functions, and their properties, including injective and surjective functions, composition, and inverse functions.
Covers the basics of functions, including domain, codomain, image, and range, as well as injections, surjections, and bijections.
