Aller au contenu principal

11 articles tagués avec « cours »

Voir tous les tags

Cours 10/02

Quentin Fortier
Professeur d'informatique
  • Fin TD Grammaire.
  • Cours Arbre couvrant jusqu'à algorithme de Kruskal (non démontré)

À faire pendant les vacances (pour la rentrée du lundi 3 novembre) :

Cours 10/02

Quentin Fortier
Professeur d'informatique
  • Cours Grammaires jusqu'à grammaire linéaire
  • Fin TD Automates et TD Kleene ex 1 et 3.

À faire :

  • MPI* : ex 4 et 5 du TD Kleene
  • MPI : finir ex 2 du TD Kleene

Cours 25/09

Quentin Fortier
Professeur d'informatique
  • TD Automates : jusqu'à Ex3 Q4 en MPI et Ex5 Q2 en MPI*.
  • À faire pour jeudi prochain : Ex 3 et 4 pour MPI et Ex 4 et 5 pour MPI*.

Cours 22/09

Quentin Fortier
Professeur d'informatique
  • DS 1 : Mines-Pont 2025 MP
  • Fin du cours automates
  • Cours théorème de Kleene jusqu'à "automate local"

Cours 15/09

Quentin Fortier
Professeur d'informatique
  • Cours automates jusqu'à "Stabilité par intersection, union et différence"
  • Finir preuve de "Stabilité par intersection, union et différence"

Cours 08/09

Quentin Fortier
Professeur d'informatique
  • Fin du cours langages
  • Cours automates jusqu'à "automate complet"
  • DM 1 à faire pour le 22/08

Cours 04/09

Quentin Fortier
Professeur d'informatique
  • Cours langages jusqu'à "Exercice 9"
  • Exercice 9 à faire pour le prochain cours