Concept

Foundations of mathematics

Related courses (32)

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-101(g): Analysis I

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

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-101(d): Analysis I

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

MATH-101(pi): Analysis I (flipped classroom)

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable. Cette classe est donnée sous forme inversée.

MATH-318: Set theory

Set Theory as a foundational system for mathematics. ZF, ZFC and ZF with atoms. Relative consistency of the Axiom of Choice, the Continuum Hypothesis, the reals as a countable union of countable sets,

MATH-100(a): Advanced analysis I - real analysis

Etude des concepts fondamentaux de l'analyse, calcul différentiel et intégral de fonctions réelles d'une variable réelle

MATH-647: Topics on the Euler and Navier-Stokes equations

This topics course focuses on recent and classical fundamental results on the Euler and Navier-Stokes equations, such as global existence of weak solutions, (non)uniqueness results, blow-ups, partial

CS-602: Foundation of probabilistic proofs

Probabilistic proof system (eg PCPs and IPs) have had a tremendous impact on the theoretical computer science, and have also found practical uses. They underlie delegation of computation protocols and

EE-802: Mathematical guarantees of data-driven control

Students learn about advanced topics in data-driven control theory. Students also learn to present and analyze scientific work.

MATH-606: Statistical Field Theory

The goal of this class is to teach how to look at two-dimensional field theories, how to analyse them, how to put structures on them. In the end, the student should have a good picture into what we un