Description
Review of propositional and predicate calculus. Introduction to naïve set theory. Relations including equivalence relation and partial order. Cardinality including surjective and injective functions. Recursion and induction including well order. Boolean algebras, Knot Theory and Graph Theory.