Séminaires : Phd Seminar - Séminaire des doctorant.e.s

Equipe(s) : doctorants,
Responsables :Salim Alloun, Pedro Alves, Baptiste Dugué, Brian Flanagan, Ivory Fronteau, Kostyantyn Krutoy
Email des responsables :
Salle :
Adresse :
Description

Le séminaire des doctorant.e.s est l'occasion pour les doctorant.e.s de présenter des résultats et des problématiques dignes d'intérêt devant un public de non-spécialistes. L'ambiance y est informelle ; poser des questions naïves est encouragé, et les questions moins naïves sont bienvenues dans la mesure où elles n'entravent pas le bon déroulement de l'exposé.

Chaque jeudi à 18h, en alternance entre Jussieu et Sophie Germain.

The PhD seminar is an opportnuity for PhD students to present results and topics worthy of interest in front of a non-specialist audience. The mood is informal ; asking naive questions is highly encouraged and less naive questions are also welcomed, as long as they don't intefere with the smoothness of the talk.

Every Thursday at 6pm, alternating between Jussieu and Sophie Germain.

Orateur(s) Alexandre Vigny - ,
Titre Théorie des modèles finis et applications
Date03/11/2016
Horaire18:00 à 19:00
Diffusion
Résume Un des objectifs de la théorie des modèles est d'apporter un formalisme à la notion de théorie mathématique (théorie des groupes, théorie des ensembles,...). Ici, une théorie est un ensemble (fini ou infini) d'axiomes. On dit qu'un ensemble E muni de fonctions et de constantes est un modèle d'une théorie $T$ s'il satisfait tous les axiomes de $T$. Par exemple, $\mathbb{Z}$ avec l'addition et la constante $0$ est un modèle de la théorie des groupes. On parle de modèle fini quand l'ensemble $E$ est fini.De nombreuses questions qui sont indécidables en théorie des modèles classique deviennent calculables si on se restreint à l'étude des modèles finis. De plus, ce domaine a énormément d'applications en informatique et plus particulièrement en bases de données et théorie des graphes. Après avoir introduit les notions utilisées, je parlerais de certains problèmes liés à l'informatique que j'étudie dans le cadre de ma thèse en rapport à la théorie des modèles finis.
Salle
Adresse
© IMJ-PRG