Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Grammaire formelle

Cours associés (10)

CS-320: Computer language processing

We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...

ME-273: Introduction à la commande des systèmes dynamiques

Cours introductif à la commande des systèmes dynamiques. On part de quatre exemples concrets et on introduit au fur et à mesure un haut niveau d'abstraction permettant de résoudre de manière unifiée les problèmes d'asservissement et de régulation, en parti ...

AR-525: Architecture merveilleuse

Ce 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 architecturales fonctionnent lorsqu'elles nous émerveillent. ...

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex domains under discontinuous group actions, as algebraic ...

HUM-224: Design graphique - approche illustrative

Le cours vise à faire découvrir les bases du design graphique, ses enjeux, ses différents domaines d'application, ses techniques et ses conventions. Il s'agit d'un enseignement pratique qui repose sur le développement d'un projet de semestre. ...

DH-401: Digital musicology

This course will introduce students to the central topics in digital musicology and core theoretical approaches and methods. In the practical part, students will carry out a practical project. ...

CS-452: Foundations of software

The 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 program part or a language. Students will learn how to apply ...

AR-509: UE B : Alpine architecture

Il est prévu d'aborder le projet d'architecture dans les montagnes au travers de l'analyse et de l'étude des éléments qui dénotent formellement les bâtiments. Le projet s'inscrit à l'intérieur d'une préalable étude de l'héritage rural ; ce qui est couramme ...

AR-210: Principles of architectural gestaltung

L'enseignement transmet les fondements théoriques et introduit les techniques opératoires de la représentation. L'objectif principal est de donner aux étudiants des outils qui leur permettent de définir et de transmettre une idée d'architecture dans son ex ...

AR-313: Expressive figuration

L'enseignement transmet les fondements théoriques et introduit les techniques opératoires de la représentation. L'objectif principal est de donner aux étudiants des outils qui leur permettent de définir et transmettre une idée d'architecture dans son expre ...