Informatique théorique et automates

Descriptif

  • Logique : raisonnement par induction, logique propositionnelle, systèmes déductifs.
  • Automates : déterminisation, langages réguliers, minimisation.
  • Graphes : bases de l'algorithmique des graphes et optimisation.

Bibliographie

  1. Introduction à la logique, R. DAVID, K. NOUR, C. RAFFALLI, Dunod.
  2. Introduction à la calculabilité, P. Wolper, Masson.
  3. Optimisation combinatoire T2: programmation discrète, M. Sakarovitch, Hermann, 1984.
  4. Méthodes d'optimisation, I. Charon et al., Masson, 1996.