Login to filter by course Login to filter by course Reset
Offers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
Introduces recursively defined functions and demonstrates how to compute values and prove properties using mathematical induction.
Explores functions from R^n to R, focusing on graph correspondence and deficiency analysis.
Covers topics related to induction and recursion, including mathematical induction proofs and recursive definitions.
Introduces structural induction, a method to prove properties of elements in recursively defined sets.
Introduces structural induction, a method to prove properties of elements in recursively defined sets.
Delves into the mathematical definition of a frieze motif and the concept of symmetry in architecture.
