Este curso ense?a los fundamentos teoricos de la informatica, en particular, los modelos de computabilidad y la complejidad de problemas.