An introduction to proofs and to mathematical writing. Methods of proof, such as direct proofs, proofs by contradiction, contrapositive proofs, counterexamples and mathematical induction. Examples of proofs will be illustrated using sets, functions and elementary number theory. Use of precise mathematical language will be emphasized.
