Cours 9/109 octobre 2025Quentin FortierProfesseur d'informatique Fin TD Kleene et TD Grammaire jusqu'à III.2.
Cours 6/106 octobre 2025Quentin FortierProfesseur d'informatique Fin cours grammaires. Exercices 1 et 2 du TD grammaires.
Cours 10/022 octobre 2025Quentin FortierProfesseur 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/0925 septembre 2025Quentin FortierProfesseur 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/0922 septembre 2025Quentin FortierProfesseur d'informatique DS 1 : Mines-Pont 2025 MP Fin du cours automates Cours théorème de Kleene jusqu'à "automate local"
Cours 15/0915 septembre 2025Quentin FortierProfesseur d'informatique Cours automates jusqu'à "Stabilité par intersection, union et différence" Finir preuve de "Stabilité par intersection, union et différence"
TD 11/0911 septembre 2025Quentin FortierProfesseur d'informatique TD Langages jusqu'à exercice 4 en MPI et exo 5 en MPI*. Exercice 5 en MPI et exercice 6 en MPI* à faire pour jeudi suivant.
Cours 08/098 septembre 2025Quentin FortierProfesseur d'informatique Fin du cours langages Cours automates jusqu'à "automate complet" DM 1 à faire pour le 22/08
Cours 04/094 septembre 2025Quentin FortierProfesseur d'informatique Cours langages jusqu'à "Exercice 9" Exercice 9 à faire pour le prochain cours