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.