MATH-101(e): Analysis IÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
CS-428: Interactive theorem provingA hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write compute
AR-616: EDAR thesis writing workshopThe workshop will equip participants with practical skills necessary to make thesis writing smoother and better organized. Main issues
covered are: getting started, structure and argumentation, time m
AR-301(ad): Studio BA5 (Delhay)La maison comme une ville - Une Maisonnée pour 100 personnes organisées autour du repas et des saisons
Voyage d'étude - Bâle: 28 Septembre au 1er Octobre
AR-401(ad): Studio MA1 (Delhay)La maison comme une ville - Une Maisonnée pour 100 personnes organisées autour du repas et des saisons
Voyage d'étude - Bâle: 28 Septembre au 1er Octobre
MGT-505: Systems thinkingMGT-505 Systems Thinking course equips students with the skills to analyze and solve complex problems across domains. The course is hands-on and covers the main systems concepts and tools, applied to
