EE-110: Systèmes logiques (pour 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 synthèse de systèmelogiques sont étudiées et appliquée ...
CS-101: Advanced information, computation, communication IDiscrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...
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 major design style pertaining to digital logic and memor ...
HUM-417: Philosophical perspectives on the exact sciences IThe course considers central themes in the philosophy of science. Starting from the debate between Leibniz and Newton about space and time, we move on to the transition from classical to quantum physics, the explanatory role of mathematics and philosophica ...
MATH-381: Logique mathématiqueBranche 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. C'est entre autres un cours dans lequel la pratique mathématiq ...
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 analyse et vos conclusions. ...
HUM-478: Emotion, value, and life-defining choices IMost of us aspire to live meaningful lives. Yet, many of us would struggle to explain what a meaningful life is. This course provides philosophical tools and frameworks useful to understand our aspiration for meaning. ...
AR-430: Magma et principesNous 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 temps de s'assoir. ...
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 circuits on register transfer level, analyse their timing a ...
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
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...
EE-431: Advanced VLSI designIn this project-based course, students collect hands-on experience with designing full-custom digital VLSI circuits in dynamic logic. They learn to carry out the design and optimization on transistor level, including logic and clock tree, the verification, ...
PENS-221: Making the campus of tomorrowThe EPFL-UNIL campus is today at the heart of an intense institutional reflection on its future. The ENAC week aims to carry out specific operational proposals for the campus starting from a reflection on public space, climate change and and built environm ...
AR-302(o): Studio BA6 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [architecture office] will work in Madrid on housing, domestici ...
AR-402(o): Studio MA2 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [architecture office] will work in Madrid on housing, domestici ...
AR-401(o): Studio MA1 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [architecture office] will work in Madrid on housing, domestici ...
