Browsing Facultad de Matemática, Astronomía, Física y Computación by Author "Campercholi, Miguel Alejandro Carlos"

Now showing items 1-6 of 6

    • 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 ...

    • The lattice of congruences of a finite line frame 

      Areces, Carlos Eduardo; Campercholi, Miguel Alejandro Carlos; Penazzi, Daniel Eduardo; Sánchez Terraf, Pedro Octavio (2017)
      Let F = <F, R> be a finite Kripke frame. A congruence of F is a bisimulation of F that is also an equivalence relation on F. The set of all congruences of F is a lattice under the inclusion ordering. In this article we ...

    • 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 ...