Login to filter by course Login to filter by course Reset
Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.
Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.
Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.
Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.
Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.
Offers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
