Lycée Saint Louis

Laurent Jospin

Programme de colle - Semaine du 1 décembre au 5 décembre

Chapitres principauxQuestions de cours
  • Algorithmes probabilistes
  • Déduction naturelle
  • Problèmes d'optimisation (sauf dérandomisation)
  • Correction des règles d'élimination (uniquement) de la logique minimale en déduction naturelle
  • Equivalence des trois règles usuelles de la logique classique en logique intuionniste
  • Si v |= phi, h(v) |- phi est dérivable. Si |/= phi, h(v) |- non phi est dérivable
  • 2-approximation pour sac à dos 0/1 (algorithme + preuve)
  • 2-approximation pour sac à dos illimité (algorithme + preuve)

MPI 2025-2026

Index par date décroissante
Index par catégorie
2025-12-03 Devoir - Système S K I Version : 2025-12-03
2025-12-03 TP - Snake in the Box Code Version : 2022-12-10
2025-12-01 Colle 2 Version : 2022-04-20
2025-11-28 mpi_td_algosapproximation.pdf Version : 2025-12-03
2025-11-24 TP - Recherche de preuve Version : 2022-12-07
2025-11-24 TP - Plus long chemin simple (Séparer et évaluer) Version : 2022-11-30
2025-11-19 TP - Implémentation de Solovay Strassen et de AKS - Spirale d'Ulam Version : 2022-11-03
2025-11-16 mpi_td_deductionnaturelle.pdf Version : 2023-12-08
2025-11-15 Devoir - Autour des chaînes de caractères, PCP et matrices mortelles Version : 2025-11-15
2025-11-15 Devoir - Somme de sous-ensemble, Partition, Post-Condition et décidabilité Version : 2024-03-15
2025-11-12 TP - Coupe minimale par l'algorithme de Karger Version : 2023-11-10
2025-11-10 mpi_tpcorrections2025_2026.tar.gz Version : 2025-11-10
2025-11-09 TD - Codes Version : 2022-11-12
2025-11-05 TP - Vers C4.5 et moindres carrés Version : 2022-10-10
2025-10-17 Colle 4 Version : 2025-10-17
2025-10-15 TP - Sélection du kème plus petit par des algorithmes probabilistes Version : 2022-10-19
2025-10-08 TP - Arbres phylogénétiques Version : 2022-08-25
2025-10-07 Devoir - Centrale 2023 MPI Version : 2025-10-07
2025-10-02 TD - Réductions de problèmes NP-complet Version : 2022-10-17
2025-09-28 TP - Classification Version : 2022-10-03
2025-09-23 TP - Automate minimal Version : 2022-09-29
2025-09-20 Devoir - Arbres de domination + Centrale 2025 MP Version : 2025-09-20
2025-09-17 TP - Automate des parties Version : 2022-09-14
2025-09-15 Colle 1 Version : 2022-02-17
2025-09-13 TD - Langages et automates Version : 2022-09-15
2025-09-09 TP - Automates finis déterministes Version : 2022-09-12
2025-09-08 Devoir - CCMP MP option info - 2025 Version : 2025-09-09
2025-08-31 TP - Hoshen-Kopelman et Labyrinthes parfaits Version : 2022-09-03
2025-08-30 TD - Preuves de programmes et Structures de données Version : 2022-08-25
2025-08-29 mpi_rappel_compilationethardware.pdf Version : 2025-08-30
2025-08-29 mpi_courscomplet_eleves.pdf Version : 2025-11-18