901
Structures de données. Exemples et applications.
903
Exemples d’algorithmes de tri. Correction et complexité.
907
Algorithmique du texte. Exemples et applications.
909
Langages rationnels et automates finis. Exemples et applications.
912
Fonctions récursives primitives et non primitives. Exemples.
913
Machines de Turing. Applications.
914
Décidabilité et indécidabilité. Exemples.
915
Classes de complexité. Exemples.
916
Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
918
Systèmes formels de preuve en logique du premier ordre. Exemples.
921
Algorithmes de recherche et structures de données associées.
923
Analyses lexicale et syntaxique. Applications.
924
Théories et modèles en logique du premier ordre. Exemples.
925
Graphes : représentations et algorithmes.
926
Analyse des algorithmes : complexité. Exemples.
927
Exemples de preuve d’algorithme : correction, terminaisons.
928
Problèmes NP-complets : exemples et réductions.
929
Lambda-calcul pur comme modèle de calcul. Exemples.
930
Sémantique des langages de programmation. Exemples.
931
Schémas algorithmiques. Exemples et applications.
932
Fondements des bases de données relationnelles.
Mathématiques 