Completitud en el segundo nivel de la jerarquía polinominal a través de propiedades sintácticas

El próximo viernes 10 de marzo, a la 1:30 de la tarde, será el coloquio Completitud en el segundo nivel de la jerarquía polinominal a través de propiedades sintácticas, a cargo de Edwin Pin, profesor de la Escuela de Matemática de la Universidad Central de Venezuela.

Esta actividad es organizada por el Departamento de Computación y Tecnología de la Información de la USB, y será en la Sala de Reuniones del Departamento de Computación, MyS-216.

El resumen explica que la Teoría de Complejidad Descriptiva se basa en la caracterización de clases de complejidad, problemas de decisión, reducciones y demás conceptos computacionales a través de sistemas lingüísticos formales como la lógica de primer orden, la lógica de segundo orden, entre otros.

Publicaciones Similares

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *