Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture covers the concepts of induction and recursion in computer science, including proofs, structures, algorithms, counting, and probabilities. It also delves into structural induction, recursive algorithms, and the time complexity of recursive algorithms. The lecture further explores the recursive definition of strings, the length of strings, and examples of recursive theorems. Additionally, it discusses the process of proving recursive algorithms correct and introduces the divide and conquer strategy, focusing on the merge sort algorithm. The complexity of merge sort and the process of merging two sorted lists are also explained.