Herramientas Personales
Usted está aquí: Inicio / ICC / Áreas de Investigación / Lógica y Lenguajes

Lógica y Lenguajes

Grupos/Temas

-Logica y Computabilidad - GLyC: http://www.glyc.dc.uba.ar/

 

El grupo tiene tres líneas de investigación:

1) Aspectos computacionales de la lógica (complejidad, poder expresivo, teoría de prueba y teoría de modelos, en particular de lógicas modales y multivaluadas)
2) Teoría de la Computabilidad (aleatoriedad algorítmica, complejidad de Kolmogorov y sus aplicaciones)
3) Procesamiento de Lenguaje Natural (lingüística computacional y extracción de información).

 

- Reescritura, cálculo lambda y sistemas de tipos: http://www.dc.uba.ar/inv/grupos/reescritura