Browsing Trabajos Especiales de Licenciaturas by Author "Vaggione, Diego José"
Now showing items 1-3 of 3
-
Análisis de la definibilidad de relaciones en estructuras de primer orden
Incatasciato, Guillermo Luis (2019-03)En el artículo "Semantical conditions for the definability of functions and relations" [1], se presentan condiciones semánticas que caracterizan cuando una función o una relación es definible por fórmulas de distintos ... -
Aplicaciones de álgebra universal al reticulado de Post
Leberle, Maico Carlos (2017)El reticulado de todos los clones de funciones booleanas ordenados por inclusión, mejor conocido como reticulado de Post, es de suma importancia en Ciencias de la Computación en lo referido al problema de satisfacibilidad ... -
Representaciones globales para cuasivariedades de congruencias relativas distributivas
Schilman, Mauro (2015)Los productos subdirectos globales preservan sentencias de la forma "para todo existe único conjunción de p=q". Esta clase de sentencias permite expresar resultados interesantes (como el teorema de Nachbin, entre otros) ...