Site Web de Quadrature

Vous pouvez également consulter le site de la revue à l'adresse suivante :
http://www.quadrature.info/

mercredi 21 mars 2018

conférence destinée aux étudiants le mercredi 28 mars à 18h À l'IHP.

Le mercredi 28 mars à 18h À l'IHP :


"Loi du Zéro-un et logique des graphes aléatoires" par Amador Martin-Pizarro


Comment déterminer la probabilité qu’un graphe fini quelconque, pris de façon aléatoire, ait une certaine propriété, par exemple, avoir un nombre pair de sommets ou d’arêtes ?
Comment donner un sens à cette question, puisqu’il y a une infinité de graphes finis possibles ?
Que veut-on dire par “pris de façon aléatoire” ?
On verra qu'une propriété exprimable avec un énoncé logique du premier ordre est soit certaine, soit impossible. La raison en est qu'il n'existe qu'un seul graphe aléatoire infini dénombrable. Il est construit par la méthode d'amalgamation due au logicien français Roland Fraïssé.
Gratuit dans la limite des places disponibles, sur inscription.
  http://www.ihp.fr/fr/inscription_colloque-grand-public_2018_28_mars

Aucun commentaire:

Enregistrer un commentaire