Lectures related to Recursively Defined Functions

Explores recursively defined sets, natural numbers, strings, functions, and propositional logic formulae.

Induction and Recursion: Mathematical and Strong Induction - An Example

Covers the concepts of mathematical and strong induction through an example.

Covers advanced counting techniques, including linear recurrence relations and generating functions, with examples from the Fibonacci sequence and differences between dice and poker cards.

Inductive Propositions: Reasoning and Evaluation Techniques

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.