Resumen:
En este documento se presenta el informe del seminario de grado “Sistemas de Pruebas Interactivas," realizado dentro del grupo de estudio y desarrollo investigativo en matemática aplicada en la línea de matemática computacional. En la primera parte se presentan algunos conceptos y ejemplos previos. Posteriormente, se realiza una descripción detallada, mediante ejemplos prácticos, de los sistemas de pruebas interactivas y también se muestran los resultados más importantes relacionados con las clases de complejidad y por último, se hace una introducción al teorema PCP, el cual es uno de los principales resultados encontrados en los últimos años, debido a que caracteriza de manera diferente a una de las principales clases de complejidad denominada NP.
