Cours MAT9005 – (Examen de synthèse; écrit) Partie concentration en Informatique mathématique

Automates finis, langages rationnels. Théorie élémentaire des graphes, algèbre de Boole et logique propositionnelle. Machines de Turing, notions de complexité. Grammaires hors-contexte, automates à pile. Notions de structures de données, arborescences, listes. Analyse d’algorithmes, algorithmes algébriques. Calcul symbolique Cette activité est évaluée selon la notation Succès-Échec.