Introduction to ProofsIntroduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.
Propositions and ProofsExplores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Proof Techniques: ExamplesCovers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.
Recurrence: InductionCovers the principle of induction for natural numbers and the importance of caution in its application.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Plan SeparationExplores the axiom of separating the plane into two half-planes and the concept of interior points.
