CATALOG DESCRIPTION: See catalog description here
Math 220 is designed to provide a bridge between computational mathematics and theoretical mathematics (``real math''). Thus a major goal is to teach the students how to write proofs.
The required core of topics include logic, set theory, number theory, induction, functions, relations, operations, and combinatorics. Since there is an emphasis on how to create and write proofs, most professors find that these topics are sufficient for the semester. If time permits, the professor may choose to teach other topics, such as graph theory.
TO THE INSTRUCTOR: The main trouble spot is that students attempt to learn proofs in the same way that they learned concepts in calculus. Thus considerable time must be spent showing students how to connect given information to what it is they are trying to prove with logical deductions. Considerable time should be spent in office hours coaching students through proofs that they have tried on their own.