Concept
Formal semantics (natural language)
Related courses (8)
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
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
CS-101: Advanced information, computation, communication I
Discrete 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 a
CS-550: Formal verification
We 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 u
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
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éfin
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éfin