The course introduces elements of mathematical proof, focusing on three main themes: 1. The meaning of mathematical statements – universal/existential; 2. The roles of examples in determining the validity of mathematical statements; 3. The various forms and methods of mathematical proofs, including Direct (deductive) proof; proof by exhaustion; indirect proof (by contradiction, or by contrapositive); mathematical induction; disproof by counterexample. This is a problem-based course. Lessons are structured around activities that engage students in doing proofs that are meaningful to them and based on mathematical topics with which they are familiar