INVESTIGADORES
SANCHEZ TERRAF Pedro Octavio
datos académicos
Título/s
Doctor en Matemática
Licenciado en Matemática
Categoría
INV ADJUNTO
Disciplina científica
Matemática
Matemática
Disciplina desagregada
MATEMATICA-FUNDAMENTOS Y LOGICA
Campo de aplicación
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Lógica Matemática, Métodos Formales en Computación.
Tema
Teoría de Conjuntos: Fundamentos y Aplicaciones a Problemas originados en Computación Teórica
Tema en inglés
Set theory: Foundations and applications to problems originating in Theoretical Computer Science
Palabras clave
VERIFICACIÓN FORMAL // TEORÍA DE CONJUNTOS DESCRIPTIVA // POSETS ASOCIATIVOS
Palabras clave en inglés
FORMAL VERIFICATION // DESCRIPTIVE SET THEORY // ASSOCIATIVE POSETS
Lugar de trabajo
[CIEM] CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA -
[CCT CORDOBA] CENTRO CIENTIFICO TECNOLOGICO CONICET - CORDOBA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -

Director de :


BECARIOS