Speaker:
Dr. Joerg Flum
Dpt. Mathematical Logic
Albert-Ludwigs-Universität Freiburg (Alemania)
Title: Grafos aleatorios y cliques
Abstract:
Como posible subtítulo de la conferencia podríamos elegir: La lógica de primer orden FO es insensible a la aleatoriedad. Esta insensibilidad se ha utilizado para verificar que ciertas propiedades no son expresables en FO.
Information:
Organized by: Research Group on Natural Computing