module `` logique, langages formels et modèles de calculs ''

  durée : 50 heures Objectifs : Présenter les modèles formels qui fondent la science et les techniques de l'informatique. L'accent est mis sur les résultats susceptibles d'applications à la compilation, l'algorithmique séquentielle et parallèle, les bases de données, les architectures matérielles mono et multi-processeurs.