Centrale 2026 — Informatique MPI : sujet et corrigé

6 parties corrigées, avec un corrigé rédigé · filière MPI.

• Partie A (Q1 à Q5) — Base de données des mondes idéaux (SQL)
• Partie B (Q6 à Q15) — Analyse lexicale et syntaxique d'une formule déontique (OCaml)
• Partie C, I et II (Q16 à Q25) — Formules déontiques en C, univers de Kripke
• Partie C, III et IV (Q26 à Q34) — Formules réduites, univers arborescents, décidabilité
• Partie C, V (Q35 à Q39) — NP-complétude de TOTAL-DSAT
• Partie D (Q40 à Q42) — Déduction naturelle pour la logique déontique