Présente les diverses théories mathématiques qui sous-tendent la pratique de l'informatique : théorie des langages, calculabilité, complexité et logique.