Lectures related to Course-of-values recursion

Explores lambda calculus, higher-order functions, and recursive function encoding.

Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.

Covers tail recursion, optimizing functions in Scala for iterative processes and providing examples like tail-recursive factorial.

Explores the complexity of calculating binomial coefficients using dynamic programming.

Covers the methodology of development, recursion, and debugging in C++.

Explores recursive sorting algorithms, recursion, dynamic programming, and the efficiency of recursive solutions.