Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.
Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.
Covers the principle of induction for natural numbers and the importance of caution in its application.
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Explores the axiom of separating the plane into two half-planes and the concept of interior points.
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
