Cours 1/121 décembre 2025Quentin FortierProfesseur d'informatique Cours "Décidabilité et complexité" jusqu'à $P \subset NP$.
TD et cours 13/1127 novembre 2025Quentin FortierProfesseur d'informatique TD. Sujet X-ENS 2016 sur k-SAT en cours. À faire pour jeudi prochain : Finir sujet X-ENS 2016.
Cours 24/1124 novembre 2025Quentin FortierProfesseur d'informatique Fin cours "Plus courts chemins". LeetCode 3 à faire pour lundi prochain.
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"