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

Concept

Relation (mathématiques)

Cours associés (24)

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

AR-527: Construction policy

Construction Policy seeks to familiarise architecture and engineering students with instruments of policy analysis, evaluation and, eventually, design. This by introducing elements of policy theory, examining historical and contemporary case studies, and p ...

ENG-635: Coaching for Communicating in English in an Academic Context

If you wish to improve your academic communication skills in English by means of professional personalized guidance and by working independently on your own projects (e.g. presentations, article-writing), then this module is for you. ...

PHYS-739: Conformal Field theory and Gravity

This course is an introduction to holography, the modern approach to quantum gravity. ...