Mines-Ponts 2026 — Informatique option MP : sujet et corrigé

5 parties corrigées, avec un corrigé rédigé · filière MP.

• Partie 1 (Q1 à Q4) — Puissance rapide et écriture binaire des lettres
• Partie 2 (Q5 à Q14) — Automates sur les vecteurs binaires, déterminisation, produit
• Partie 3 (Q15 à Q17) — Automate additionneur, multiplication non reconnaissable
• Partie 4 (Q18 à Q22) — Arithmétique de Presburger, forme simple, déduction naturelle
• Partie 5 (Q23 à Q30) — Des formules de Presburger aux automates : décidabilité