Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.
