The topics in this course were chosen to facilitate students' transition from computational mathematics to theoretical mathematics.  Topics covered include logic, sets, various relations, functions, proof writing, mathematical induction, structures such as lattices, Boolean algebras, graphs, groups.