Formulate and prove statements using propositional and predicate logic.
Analyze binary relations and determine their properties such as reflexivity, symmetry, and transitivity.
Apply counting principles, permutations, and combinations to solve combinatorial problems.
Represent graphs using adjacency and path matrices and identify Eulerian and Hamiltonian graphs.
Explain algebraic structures including groups, rings, and lattices.
Use generating functions and recurrence relations to model sequences.
