3. Induction and Recursion | CMU Principles of Functional Programming M23

15-150 Principles of Functional Programming is one of the introductory computer science courses for undergraduates in the School of Computer Science at Carnegie Mellon University. It focuses on introducing programming through a functional lens that emphasizes safety and correctness of code. This iteration of the course was taught during the summer 2023 semester, at Carnegie Mellon's main campus in Pittsburgh, Pennsylvania. Instructor: Brandon Wu (https://twitter.com/onefiftyman) Slides: https://brandonspark.github.io/induction/lecture03.pdf Course website: https://brandonspark.github.io/150/ 0:00 Introduction 03:21 Equivalence 18:09 Recursion 27:39 Induction 39:06 Proving Correctness 53:07 More Language Features 1:04:18 Case Study: Fast Exponentiation