Leçons d'informatique 20112012 : Différence entre versions
m (→Leçons d'informatique de l'année 2011/2012 : énumération des leçons) |
m (Mathias Millet a déplacé la page Leçons d'informatique vers Leçons d'informatique 20112012 sans laisser de redirection) |
| (Une révision intermédiaire par un autre utilisateur non affichée) | |
(Aucune différence)
| |
Version actuelle en date du 16 décembre 2014 à 20:13
Leçons d'informatique de l'année 2011/2012
901 -- Structures de données : exemples et applications.
902 -- Diviser pour régner : exemples et applications.
903 -- Exemples d’algorithmes de tri. Complexité.
904 -- Problèmes NP-complets : exemples.
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.
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.
