Leçons d'informatique 20112012

De AgregmathKL
Révision de 16 décembre 2014 à 20:13 par Mathias Millet (discuter | contributions) (Mathias Millet a déplacé la page Leçons d'informatique vers Leçons d'informatique 20112012 sans laisser de redirection)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

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.

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.