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.