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.
Explores the significance and challenges of transactions, emphasizing ACID properties and the practical implications of using transactional memory for concurrency control.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
