Concept
Grammaire formelle
Cours associés (12)
AR-525: Marvelous Architecture
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 archite
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 in
AR-530: Housing and typology
Au travers d'une approche centrée sur la typologie, les trois enseignants exploreront successivement des grands types de logements rationalistes pour en comprendre les origines historiques mais aussi
HUM-224: Graphic Design - Illustrative approach
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
ENG-629: Lecturing and Presenting in Engineering
Informed by contemporary research on teaching engineering, participants design and deliver lessons for specific audiences. This course is relevant for teaching assistants and those who intend to make
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 progr
MATH-305: Introduction to partial differential equations
This is an introductory course on Elliptic Partial Differential Equations. The course will cover the theory of both classical and generalized (weak) solutions of elliptic PDEs.
ME-273: Introduction to control of dynamical systems
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 l
COM-404: Information theory and coding
The mathematical principles of communication that govern the compression and transmission of data and the design of efficient methods of doing so.
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 p