Leçons d'informatique

• 901 -- Structures de données : exemples et applications.
• 902 -- Diviser pour régner : exemples et applications.
• 903 -- Exemples d’algorithmes de tri. Complexité.
• 906 -- Programmation dynamique : exemples et applications.
• 907 -- Algorithmique du texte : exemples et applications.
• 908 -- Automates Finis, exemples et applications
• 909 -- Langages rationnels. Exemples et applications.
• 910 -- Langages algébriques. Exemples et applications.
• 911 -- Automates à pile. 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.
• 917 -- Logique du premier ordre : syntaxe et sémantique.
• 918 -- Systèmes formels de preuve en logique du premier ordre : exemples.
• 919 -- Unification : algorithmes et applications.
• 920 -- Réécriture et formes normales. Exemples.
• 921 -- Algorithmes de recherche et structures de données associées.
• 922 -- Ensembles récursifs, récursivement énumérables. Exemples.
• 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, terminaison.
• 928 -- Problèmes NP-complets : exemples de 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.