The nature of the logical foundation of the discipline is emphasized with coverage including propositional and predicate calculus, formal systems and proof, and methods of informal proof. Writing proofs about sets, functions, grammars, trees, and graphs is emphasized with an eye both towards the study of the logic itself as well as a deepening understanding of the structures at hand.
Prerequisite Courses