Concept
Model theory
Related courses (32)
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