6.17.1 Justificación

Este curso hace énfasis en los lenguajes formales, modelos de computación y computabilidad, además de incluir fundamentos de la complejidad computacional y de los problemas NP completos.



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación, Perú
basado en la Computing Curricula de IEEE-CS/ACM