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

Concept

Constraint logic programming

Related courses (28)

BIO-369: Randomness and information in biological data

Biology is becoming more and more a data science, as illustrated by the explosion of available genome sequences. This course aims to show how we can make sense of such data and harness it in order to understand biological processes in a quantitative way. ...

MSE-206: Rheology and fluid mechanics

Ce cours est une introduction à la rhéologie des solides viscoélastiques linéaires, aux phénomènes d'écoulements des fluides, et aux méthodes utilisées en rhéologie. Les fluides Newtoniens ou non, la turbulence, les fluides réactifs et les suspensions sont ...

CIVIL-203: Soil mechanics and flow through porous media

The course introduces students to the fundamentals of the mechanics of soils and fluid-infiltrated porous media. The first part is devoted to the constitutive behavior of soils in dry conditions, while the second part accounts for the presence of pore wate ...

PHYS-101(d): General physics : mechanics

Le but du cours de physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de prévoir quantitativement les conséquences de ces phénomène ...

CS-428: Interactive theorem proving

A hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation. Come learn how to write computer-checked proofs and certified bug-free code! ...

CS-330: Artificial intelligence

Introduction aux techniques de l'Intelligence Artificielle, complémentée par des exercices de programmation qui montrent les algorithmes et des exemples de leur application à des problèmes pratiques. ...

PHYS-739: Conformal Field theory and Gravity

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

PHYS-702: Advanced Quantum Field Theory

The course builds on the course QFT1 and QFT2 and develops in parallel to the course on Gauge Theories and the SM. ...