Vous êtes ici: UNIL > HEC Inst. > HEC App. > LOGIQUE > Enseignement > Mathematics Projects
Français | English

Mathematics Projects





  • Maude Girardin: "Infinite Games in Analysis", EPFL, spring 2018
  • Andrea Musso: "Blockchains, Computational Complexity and Game Theory", EPFL, spring 2018
  • Gabriel Favre: "Effective Descriptive Set Theory", EPFL, spring 2017
  • Lucas Bettua: "Models and Games", EPFL, spring 2017
  • Gabriel Favre: "Théorie des modèles", EPFL, spring 2016
  • Hugo Dupraz: "Large cardinals and Elementary Embeddings", EPFL, fall 2015
  • Sarah Morell: "Regularity Properties of Pointclasses with the Axiom of Determinacy", EPFL, fall 2015
  • Lilith Mattei: "Introducing topoi", EPFL, spring 2015
  •  Rémi Bottinelli : "La Correspondance de Curry-Howard", EPFL, spring 2015
  • Louis Vuilleumier: "Théorie des modèles", EPFL, fall 2014
  • Philipp Atten: "The Suslin Hypothesis", EPFL, spring 2014
  • Lilith Mattei: "Automata and the Decidability of the Monadic Second Order Logics S1S and S2S", EPFL, spring 2014
  • Luca Hunkeler: "Jeux infinis et topologie", EPFL, fall 2013
  • Marc Papotto: "Le Théorème de métrisabilité de Urysohn et Tychonoff en version effective", EPFL, fall 2013
  • Hugo Dupraz : "Théorème de Ramsey et bons quasi-ordres", EPFL, fall 2013
  • Michelle Stella : "Mesurabilité, plongements élémentaires et forcing", EPFL, spring 2013
  • Georg Bube: "Consistency of Peano Arithmetic and epsilon_0-Induction", EPFL, spring 2013
  •  Etienne Favre: "Hierarchies in Descriptive Set Theory", EPFL, spring 2013
  • Mathieu Kocher: "Hiérarchie arithmétique et degrés de Turing", EPFL, spring 2013
  • Michelle Stella: "Forcing et consistance relative", EPFL, fall 2012
  • Léa Kissling: "Les boréliens en théorie descriptive des ensembles", EPFL, fall 2012
  • Mathieu Kocher: "Décidabilité, calculabilité, récursivité", EPFL, fall 2012
  • David Candil: "Les Axiomes de choix", EPFL, fall 2012
  • Thomas Cibils: "Théorie des jeux", EPFL, fall 2011
  • Dimitri Zaganidis: "Autour de P= NP", EPFL, fall 2010
  • Thomas Lugrin: "Les théorèmes d'incomplétude de Gödel et quelques éléments de logique du second ordre", EPFL, fall 2010
  •  Nicolas Berger: "mu-calcul et jeux infinis", EPFL, fall 2010
  •  Nicolas Berger: "Arithmétiques ordinale et cardinale, cofinalité", EPFL, fall 2009
  •  Yann Pequignot: "Logique et automates", EPFL, fall 2009
  •  Thierry Porchet : "La question de l'existence en philosophie des mathématiques~: un aperçu de Frege à nos jours", EPFL, spring 2009
  •  Kevin Fournier: "Hiérarchie des hypothèses de grands cardinaux", EPFL, spring 2008
  • Yann Pequignot: "Conséquences topologiques de la détermination des jeux", EPFL, fall 2007
  • Kevin Fournier: "Décidabilité de la logique monadique du second ordre", EPFL, fall 2007


 
 
 
 
 




Rechercher:
 
 
Internef - CH-1015 Lausanne - Suisse - Tél. +41 21 692 33 00 - Fax +41 21 692 33 05