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
EE-330: Digital IC designDigital IC Design presents the fundamentals of digital integrated circuit design. The methods and techniques aiming at the fabrication and development of digital integrated circuits are reviewed, the
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.
HUM-430: Philosophie des sciences de la vie IIÉvaluer les principales positions dans un débat philosophique choisi. Développer au sein de votre groupe une approche solide d'un ou plusieurs problèmes philosophiques de ce débat. Défendre votre anal
AR-430: Magma and principlesNous proposons à une dizaine de personnalités de mettre en relation deux séquences spatiales issues de deux univers représentatifs l'architecture et le cinéma. Pour ce semestre "TEMPUS SESSORIUM" Le t
EE-334: Digital systems designStudents will acquire basic knowledge about methodologies and tools for the design, optimization, and verification of custom digital systems/hardware.
They learn how to design synchronous digital cir
PENS-230: Digital ENAC: le codage en contexteDigital ENAC aims to provide students with the ability to apply the principles of coding to the practical life of designers and engineers. We will not focus on a specific coding language, but will ext
