Eventos

Título: Una Extensión Composicional de λρ° mediante Descomposición de Pauli Director: Alejandro Díaz-Caro Jurados: Rafael Romero                 Romain Péchoux Resumen: Extendemos el cálculo lambda cuántico λρ°, un cálculo que manipula matrices de densidad con control probabilístico, con un operador let. El cálculo [...]

Título: ¿Las Cadenas de Bruijn son Brownianas? Directores:  Nicolás Álvarez y Verónica Becher Jurados: Pablo Ferrari y Martín Mereb Resumen: Consideramos las secuencias de de Bruijn binarias de orden n, las cuales son cadenas sobre el alfabeto binario que contienen cada posible bloque de longitud n exactamente una vez. [...]

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 [...]