DIEGO VAGGIONE
Responsable
Semántica Algebraica
Una de las herramientas más fuertes en el estudio de las propiedades sintácticas de los lenguajes formales (consistencia, corrección, formas normales, etc.) es sin lugar a dudas el desarrollo e su semántica asociada. Esto, en el contexto de diversas áreas de la matemática tales como lógica, la teoría de lenguajes, el álgebra universal, la teoría de dominios de Scott, la teoría de modelos, las especificaciones algebraicas, ha llevado a un estudio muy desarrollado de la semántica en un sentido algebraico.
- Definibilidad en la teoría de elementos centrales
- Condiciones de tipo Maltsev para propiedades universales en variedades
- Representaciones globales (haces)
- Aplicaciones de la teoría de modelos a la teoría de clones
- Aplicaciones de Teoría de Conjuntos Descriptiva a Computación
- Verificación formal de Matemática
- Combinatoria infinita
- Complejidad de la definibilidad por fórmulas abiertas
- Dr. Héctor Gramaglia
- Dr. Pedro Sánchez Terraf
- Lic. Miguel Campercholi
- Lic. Mariana Badano
- Mauricio Tellechea
- Gonzalo Zigaran
- Joel Kuperman
Para mayor información sobre el grupo puede vistar la página del mismo haciendo clic aquí