Cours 17/1117 novembre 2025Quentin FortierProfesseur d'informatique Fin cours couplage. TD couplage exercice hypercube.
TD et cours 13/1113 novembre 2025Quentin FortierProfesseur d'informatique Fin TD Kruskal. Sujet X-ENS 2016 sur k-SAT en cours. À faire pour jeudi prochain : Finir sujet X-ENS 2016.
Cours 3/113 novembre 2025Quentin FortierProfesseur d'informatique Fin cours "arbre couvrant de poids minimum". À faire pour lundi prochain : LeetCode 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 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"
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