This course examines the meaning and benefits of proof, the types of reasoning used in the proof process and their characteristics, including deductive reasoning and inductive reasoning (analogy, generalization), types of proof in mathematics (proof, formal, informal, direct proof, contradiction , induction, and proof with examples and non-examples) and how to communicate proof through IT-based active learning