CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
AR-525: Marvelous ArchitectureCe cours explore une définition spécifique de la rationalité architecturale, en empruntant au surréalisme et à l'épistémologie de Bachelard pour tenter de comprendre la manière dont les formes archite
MATH-414: Stochastic simulationThe student who follows this course will get acquainted with computational tools used to analyze systems with uncertainty arising in engineering, physics, chemistry, and economics. Focus will be on s
MICRO-200: Mechanism Design ICe cours introduit les bases de la mécanique des structures : calcul des contraintes et déformations provoquées par les forces extérieures et calcul des déformations. Ces enseignements théoriques sont
HUM-380: Video games and gamificationCe cours propose d'acquérir des compétences en création de jeux vidéo, en invitant les étudiant·e·s à mettre leurs connaissances au service d'un projet collectif de ludification (gamification) d'un co
PENS-304: Living in MarsCe cours propose aux étudiants des trois sections ENAC (AR,GC,SIE) d'élaborer ensemble un projet de construction sur la planète Mars. Dans cette démarche interdisciplinaire ils aborderont des probléma
EE-296: Electrical systems and electronics IILes concepts de base permettant de comprendre et d'analyser les systèmes électroniques dédiés à l'acquisition et au traitement des signaux (signaux physiologique, bio-capteurs) seront abordés en théor