Browsing Facultad de Matemática, Astronomía, Física y Computación by Author "Campercholi, Miguel Alejandro Carlos"
Now showing items 1-5 of 5
-
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
Ventura, Pablo Gabriel (2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
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 ... -
On structural completeness versus almost structural completeness problem : a discriminator varieties case study
Campercholi, Miguel Alejandro Carlos; Stronkowski, Michal M.; Vaggione, Diego José (2015)We study the following problem: determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solution in the semisimple case. As a consequence, ... -
Representaciones globales y clases algebráicamente extensibles
Campercholi, Miguel Alejandro Carlos (2006)Estudiamos aplicaciones de representaciones globales en varias clases ecuacionales de estructuras algebráicas, en especial, expansiones de reticulados distributivos. En el primer capítulo definimos la noción de clase ...