Leçons 2012 - 2013

Scans des leçons d'algèbre

• 114 -- Anneau des séries formelles. Applications.
• 127 -- Exponentielle de matrices. Applications.

Scans des leçons d'analyse

• 202 -- Exemples de parties denses et applications.
• 223 -- Convergence des suites numériques. Exemples et applications.
• 249 -- Suites de variables de Bernoulli indépendantes.

Scans des 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 (démo de rentrée), 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 (ex 904)

En cas de réclamation (page manquante, à l'envers...), injurier Simon.