Présentation à Montréal
Par Arthur Milchior le mercredi 28 juillet 2010, 21:11 - Représentations - Lien permanent
Le 31 aout, je jouerai au St-Ciboire, pub Montréalais. J'ai 8 minutes pour faire rire.
Le 3 septembre, un ancien professeur m'a invité à présenter les résultats de ma recherche au laboratoire d'informatique théorique et quantique (litq) de l'université de Montréal (UdM). Voici en avant première ce que sera probablement la description de cette présentation:
La Logique d'Ordre Supérieure en Théorie des Modèles finis
La théorie des modèles finis, aussi nommée complexité descriptive, étudie les relations entre la difficulté nécessaire à énoncer une propriété et les ressources nécessaires pour la calculer. Beaucoup de questions de théorie de la complexité peuvent être formulées uniquement par référence à de la logique, sans faire référence à un modèle de calcul.
La complexité descriptive a surtout étudié l'expressivité des formules de premier et deuxième ordre, en lui rajoutant des opérateurs (clôture transitive, point fixe), des restrictions (Horn, Krom, monadique), quelques résultats sur la logique d'ordre supérieures ont été prouvés récemment, je me propose de donner l'expressivité exacte de plusieurs fragments, ainsi que les relations que peuvent avoir les différents ordres entre eux.
Commentaires
Fais gaffe de ne pas mélanger les deux textes.
Typhon
Tu sais quoi ? Tu n'es pas le premier à le faire (le prof qui m'a invité l'avait faite aussi )
Remarque, je pense quand même glisser une blague dans les 2 deux textes. Ca ne fait pas de mal.