MATH300

Logic, quantifiers, negations of statements with quantifiers, set theory, induction, counting principles, relations and functions, cardinality. Includes introductory topics from real analysis and abstract algebra. Emphasis on methods of proof and proper mathematical expression.