Topics to study for the CSE final exam ------------------------------------------------------------------------ propositional logic (there will be questions like those on the midterm) first-order predicate logic (ditto) sets inductive proofs recursive definitions functions, including: 1-1 functions onto functions summations relations, including: binary relations, including: reflexive relations symmetric relations anti-symmetric relations transitive relations equivalence relations, including: equivalence classes partitions recurrence relations, including: computing with them creating them solving them graphs, including: planar graphs Euler circuits Hamiltonian circuits trees, including: rooted trees (especially the recursive definition) know the definitions of key terms (including the definitions of all of the above terms!)