Course

CS-459: Foundations of probabilistic proofs

Related courses (132)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

MATH-456: Numerical analysis and computational mathematics

The course provides an introduction to scientific computing. Several numerical methods are presented for the computer solution of mathematical problems arising in different applications. The software

HUM-454: Digital urban history: Lausanne Time Machine II

Ce cours fait partie d'une série de cours interdisciplinaires et collaboratifs ouverts aux étudiants de l'UNIL et de l'EPFL. Il se concentre sur l'histoire urbaine à travers l'application de méthodes

CS-234: Technologies for democratic society

This course will offer students a broad but hands-on introduction to technologies of human self-organization.

PHYS-463: Computational quantum physics

The numerical simulation of quantum systems plays a central role in modern physics. This course gives an introduction to key simulation approaches, through lectures and practical programming exercises

COM-490: Large-scale data science for real-world data

This hands-on course teaches the tools & methods used by data scientists, from researching solutions to scaling up prototypes to Spark clusters. It exposes the students to the entire data science pipe

MATH-437: Calculus of variations

Introduction to classical Calculus of Variations and a selection of modern techniques. The Calculus of Variations aims at showing the existence of minimisers (or critical points) of functionals that n

MATH-101(c): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.

EE-334: Digital systems design

Students will acquire basic knowledge about methodologies and tools for the design, optimization, and verification of custom digital systems/hardware. They learn how to design synchronous digital cir

MATH-111(e): Linear Algebra

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.

HUM-450: Digital urban history: Lausanne Time Machine I