Informática I introduce los fundamentos teóricos de las ciencias de la computación mediante el estudio de lenguajes formales, autómatas, gramáticas, máquinas de Turing, computabilidad y complejidad.