Séances de cours associées à Mobilité pendulaire

Explore l'impact transformateur du développement des transports publics sur les villes et les sociétés suisses.

Couvre le choix du temps de départ dans les systèmes de transport et les stratégies de tarification optimales.

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.