Modelos y teorías matemáticas que constituyen la base de la informática, incluyendo los conceptos revolucionarios de Turing.
No se han encontrado apuntes de clase