MATH-381: Mathematical logicBranche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.
EE-110: Logic systems (for MT)Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn
MATH-479: Linear algebraic groupsThe aim of the course is to give an introduction to linear algebraic groups and to give an insight into a beautiful subject that combines algebraic geometry with group theory.
MSE-234: Mechanical behaviour of materialsCe cours est une introduction au comportement mécanique, à l'élaboration, à la structure et au cycle de vie des grandes classes de matériaux de structure (métaux, polymères, céramiques et composites)
MSE-100: Materials structureCe cours met en relation les différents niveaux de structuration de la matière avec les propriétés mécaniques, thermiques, électriques, magnétiques et optiques des matériaux.
Des travaux pratiques en
ENV-418: River eco-morphologyLe cours traite les interactions entre l'hydraulique, le transport solide par charriage et l'espace cours d'eau à l'origine de la morphologie et de la richesse des habitats. La théorie de régime est p
CS-442: Computer visionComputer Vision aims at modeling the world from digital images acquired using video or infrared cameras, and other imaging sensors.
We will focus on images acquired using digital cameras. We will int
MGT-301: Foundations in financial economicsThe aim of this course is to expose EPFL bachelor students to some of the main areas in financial economics. The course will be organized around six themes. Students will obtain both practical insight
