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

Concept

Formal semantics (natural language)

Related courses (8)

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 as diverse as mathematical reasoning, combinatorics, disc ...

HUM-282: Introduction to linguistics

Ce cours est une introduction à la linguistique, discipline qui étudie les unités et les règles des langues humaines et rend compte de leur fonctionnement et de leurs fonctions. ...

HUM-491: Writing and Thinking with Generative AIs I

Comment les IA génératives transforment nos manières de lire, d'écrire et de penser ? Pour répondre à cette question, il faut analyser l'écriture assistée par IA génératives à l'aide des concepts et des méthodes de la linguistique et de la génétique des te ...

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

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 use formal verification tools and explain the theory and ...

HUM-493: Writing and Thinking with Generative AIs II

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 ...

PENS-224: Human habitat : a study on the Alpine territory

Il est question d'aborder la domestication des Alpes par l'entremise de l'étude des modalités de construction de l'environnement bâti. Une étude entre architecture, génie civil, anthropologie et sciences du territoire en vue de la compréhension de la const ...