Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
fr:research:publications [2021/04/07 13:07]
apeiron [Exposés]
fr:research:publications [2021/04/07 13:08] (Version actuelle)
apeiron [Exposés]
Ligne 51: Ligne 51:
 ===== Exposés ===== ===== Exposés =====
  
-  * 2015 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), soutenance de thèse,+  * 2015 : //​Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial//​ (Yoann Marquer, Pierre Valarcher), soutenance de thèse, ​[[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]]
   * 2011 : //​Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de M2, [[fr:​research:​models-computation#​realisabilite_classique|opérateurs de contrôle]]   * 2011 : //​Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de M2, [[fr:​research:​models-computation#​realisabilite_classique|opérateurs de contrôle]]
   * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), projet de M1, [[http://​lmv.math.cnrs.fr/​evenements-scientifiques/​journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'​UVSQ,​ [[fr:​research:​archives#​resolvante_de_galois|théorie de Galois]]   * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), projet de M1, [[http://​lmv.math.cnrs.fr/​evenements-scientifiques/​journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'​UVSQ,​ [[fr:​research:​archives#​resolvante_de_galois|théorie de Galois]]
   * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:​research:​archives#​theoremes_de_goedel|systèmes de preuve]]   * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:​research:​archives#​theoremes_de_goedel|systèmes de preuve]]