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

Concept

Syntax

Related courses (8)

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

EE-724: Human language technology: applications to information access

The Human Language Technology (HLT) course introduces methods and applications for language processing and generation, using statistical learning and neural networks. ...

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

HUM-493: Writing and Thinking with Generative AIs II

CS-119(a): Information, Computation, Communication

D'une part, le cours aborde: (1) la notion d'algorithme et de représentation de l'information, (2) l'échantillonnage d'un signal et la compression de données et (3) des aspects liés aux systèmes: ordinateur, mémoire, etc. D'autre part, le cours donne une i ...

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

MATH-483: Gödel and recursivity

Gödel incompleteness theorems and mathematical foundations of computer science ...