Browsing Trabajos Especiales de Licenciaturas by Author "Campercholi, Miguel Alejandro Carlos"
Now showing items 1-2 of 2
-
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
Ventura, Pablo Gabriel (2016-03)En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, ... -
De PH a IP : un curso en complejidad computacional
Made Vollenweider, Ignacio (2019-11)En este trabajo estudiamos algunas de las clases más importantes de la teoría de Complejidad Computacional. Nos basamos en el programa que propone el libro Computational Complexity a modern approach, del cual vemos la ...