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 fundamental concepts of logic, mathematical reasoning, basic structures, and algorithms. It explores the importance of understanding structures and scaling solutions, as well as the speed and complexity of algorithms. The lecture also delves into proofs, sets, functions, relations, sequences, and the concept of countability. Through examples and recursive definitions, students will learn about induction, recursion, and the application of strong induction in proving set properties.