Covers the fundamental concepts of loops and iterations in programming, including conditional loops, for loops, while loops, break and continue statements.
Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.
Students in 'Numerics for Fluids, Structures and Electromagnetics' must complete projects individually or in pairs, following specific rules and evaluation criteria.
Explores the EPFL Robot Competition, where students build a robot to clean rooms and retrieve bottles, gaining valuable hands-on experience and preparing for future engineering roles.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.