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

Concept

Logique mathématique

Cours associés (28)

PHYS-331: Functional analysis (for PH)

Ce cours ambitionne de présenter les mathématiques de la mécanique quantique, et plus généralement de la physique quantique. Il s'adresse essentiellement aux physiciens, ou a des mathématiciens intéressés dans le domaine. ...

MATH-483: Gödel and recursivity

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

MATH-731: Topics in geometric analysis I

The subject deals with differential geometry and its relation to global analysis, partial differential equations, geometric measure theory and variational principles to name a few. ...

CS-628: Interactive Theorem Proving CS

A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code! ...

EE-431: Advanced VLSI design

In this project-based course, students collect hands-on experience with designing full-custom digital VLSI circuits in dynamic logic. They learn to carry out the design and optimization on transistor level, including logic and clock tree, the verification, ...

MATH-481: Mathematical modelling of DNA

Mathematical modelling of DNA ...

MATH-616: Numerical methods for random PDEs and uncertainty

The course focuses on mathematical models based on PDEs with random parameters, and presents numerical techniques for forward uncertainty propagation, inverse uncertainty analysis in a Bayesian framework and optimal control under uncertainty. ...

MATH-642: Artificial Life

We will give an overview of the field of Artificial Life (Alife). We study questions such as emergence of complexity, self-reproduction, evolution, both through concrete models and through mathematical results. We will describe some of the most influential ...