Teaching

Supports vidéo

Algorithmique :

  • Vidéo  sur le parcours préfixe d'arbres.
  • Vidéo  sur le parcours suffixe d'arbres.
  • Vidéo  sur le parcours en largeur d'un graphe orienté.
  • Vidéo  sur le parcours en profondeur d'un graphe orienté.
  • Vidéo d'introduction aux arbres binaires de recherche.
  • Vidéo des algorithmes de recherche et d'insertion dans un arbre binaire de recherche.
  • Vidéo sur la suppression dans un arbre binaire de recherche.

Théorie des langages, automates (pour les Machines de Turing, voir la section Calculabilité)

  • Vidéo sur la notion d'alphabet et de mot fini.
  • Vidéo sur la notion de langages, produit, étoile et expressions régulières.
  • Vidéo sur la définition d'un automate fini.
  • Vidéo sur la définition d'un mot/langage reconnu par un automate et sur les expressions régulières.
  • Vidéo sur le produit d'automates finis.
  • Vidéo sur les automates déterministes.
  • Vidéo sur la  déterminisation d'un automate fini.
  • Vidéo sur le lemme de l'étoile.
  • Vidéo sur les mots et langages infinis.
  • Vidéo sur le produit d'automates de Büchi.

Logique et informatique, réécriture (pour les SAT solver, voir la rubrique dédiée)

  • Vidéo sur la syntaxe de la logique LTL.
  • Vidéo sur la sémantique de la logique LTL.
  • Vidéo sur les termes (définition).
  • Vidéo sur le lien entre arbres et termes.
  • Vidéo sur la notion de position dans un terme.
  • Vidéo sur la notion de sous-terme à une position donnée.
  • Vidéo sur la notion de substitution de variables dans un terme.
  • Vidéo sur la notion de substitution d'un sous-terme dans un terme.
  • Vidéo de présentation de la réécriture de termes à l'aide d'exemples.

Python

  • Vidéo sur les identifiants et variables.
  • Vidéo sur le codage des listes.
  • Vidéo sur les copies de listes.
  • Vidéo sur le passage de paramètres.

Calculabilité (pour l'approche par SAT solver pour les problème NP-complet, voir la rubrique dédiée)

  • Vidéo de présentation des machines de Turing.
  • Vidéo sur les machines de Turing déterministes (notations).
  • Vidéo sur les machines de Turing déterministes (calculs, configuration, acceptations...)

SAT solvers

  • Vidéo sur l'introduction à l'utilisation de SAT solvers.
  • Vidéo sur un exemple de codage d'un problème NP-complet par une approche SAT
  • Vidéo sur la mise en oeuvre d'un SAT solver pour l'exemple précédent.

Polys et supports pdf

Master Informatique

  • CNP : TP sur les problèmes NP-complet, pdf
  • CNP (slides partie 1, pdf) (slides partie 2, pdf) (slides partie 3 pdf) (sujet 2017 pdf)

Licence Informatique

  • TP sécurité cryptanalyse statistique, pdf

DUT Informatique (archives 2020)

  • Polycopié Mathématiques Discrètes, S2 IUT info pdf (cours-TD) (sujet 2018 pdf)
  • Polycopié Analyse Numérique, S2 IUT info pdf (Cours-TD)
  • Polycopié Probabilités et Statistiques (cours-TD), S3 IUT Info pdf )  (sujet 2018 partie 1 pdf)
  • Polycopié Compléments d'Algèbre (Cours-TD-TP), S4 IUT Info, Etudes longues, pdf
  • Polycopié TP Graphes et langages, partie 2, pdf