INVESTIGADORES
ZULUAGA BOTERO William Javier
datos académicos
Título/s
Doctor en Matemáticas
Matemático
Matemático
Categoría
INV ASISTENTE
Disciplina científica
Matemática
Matemática
Matemática
Disciplina desagregada
CIENCIAS EXACTAS Y NATURALES
Campo de aplicación
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Aplicaciones de la teoría de categorías al álgebra de la lógica
Tema
Métodos formales para sistemas de geometrı́a sin puntos.
Tema en inglés
Formal Methods for Point-Free Geometry Systems
Palabras clave
GEOMETRÍA SIN PUNTOS // DUALIDADES CATEGORICAS // LOGICA ALGEBRAICA
Palabras clave en inglés
POINT-FREE GEOMETRY // CATEGORICAL DUALITIES // ALGEBRAIC LOGIC
Director
CELANI, SERGIO ARTURO / INV PRINCIPAL
Lugar de trabajo
[NUCOMPA] NUCLEO CONSOLIDADO DE MATEMATICA PURA Y APLICADA -
FACULTAD DE CIENCIAS EXACTAS -
[UNICEN] UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES -
FACULTAD DE CIENCIAS EXACTAS -
[UNICEN] UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES -
