Concept

Model theory

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-381: Mathematical logic

Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.

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,

EE-556: Mathematics of data: from theory to computation

This course provides an overview of key advances in continuous optimization and statistical analysis for machine learning. We review recent learning formulations and models as well as their guarantees

MATH-211: Algebra II - groups

This course deals with group theory, with particular emphasis on group actions and notions of category theory.

MATH-535: Algebraic geometry III - selected topics

This course is an introduction to the theory of algebraic curves and surfaces. An important aim of the course is to develop geometric intuition while using the language of schemes developed in the ba

MATH-681: Reading group in applied topology II

In this reading group, we will work together through recent important papers in applied topology. Participants will take turns presenting articles, then leading a discussion of the contents.

HUM-429: Philosophy of life sciences I

Comprendre et discuter les questions centrales de la philosophie des sciences de la vie, par exemple celle du réductionnisme ou pourquoi le libre arbitre pourrait être une illusion. Transposer les pro

MSE-468: Atomistic and quantum simulations of materials

Theory and application of quantum simulations to model, understand, and predict the properties of real materials.

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-476: Optimal transport

The first part is devoted to Monge and Kantorovitch problems, discussing the existence and the properties of the optimal plan. The second part introduces the Wasserstein distance on measures and devel