Introduction to Mathematical Reasoning

This course introduces students to the basics of propositional and predicate logic in symbolizing natural language and determining validity, and introduces such topics as the logic of set theory, functions, relations, and transfinite sets. Emphasis is placed upon strategies involved in constructing proofs.