Eventos

Tìtulo: "Propiedades lógicas de estructuras aleatorias" Director: Sergio Abriola Jurados: Inés Armendariz y Santiago Figueira Resumen: La ley 0-1 de Fagin establece que, para toda propiedad P expresable en la lógica de primer orden de grafos, la probabilidad de que un grafo aleatorio cumpla P tiende a 0 o a [...]