Soutien Informatique MPI^(⋆|𝜀)

Préparation aux oraux

Préparation Centrale/Mines-Ponts

• Sujet TP. (sans annotations) Calculatrice [Fichiers associés au TP]
• Sujet TP. (avec annotations) Calculatrice
• Correction TP. Calculatrice [Correction partielle pour l'instant]

Préparation CCINP

• Sujet TD1. Logique et graphes
• Sujet TD2. Polynômes
• Sujet TD3. Arbres de preuves
• Sujet TD4. Langages réguliers
• Sujet TD5. Décidabilité
• Sujet TD6. k-ième plus petit élément


• Éléments de correction (TDs)


• Sujet TP1. Rendu de monnaie [Fichier associé au TP]
• Sujet TP2. k plus proche voisin [Fichier associé au TP]
• Sujet TP3. k-moyenne [Fichier associé au TP]
• Sujet TP4. Grammaires [Fichier associé au TP]
• Sujet TP5. Morpion
• Sujet TP6. Convolutions [Fichiers associés au TP]

Fiches de révision

• Chapitre 1. Langages réguliers et Automates
• Chapitre 4. Calculabilité, Décidabilité, Complexité
• Annexe A. Démonstrations sur les langages réguliers, Hiérarchie des classes de langages
• Annexe B. Analyse de complexité
• Annexe C. Structures de données usuelles

Fiches outils

• Fichiers en C et en OCaml
• Module List/Array en OCaml
• Plusieurs fichiers en C

Sujets de TPs/TDs

TPs OCaml

• TP 1 Le jeu du solitaire
• TP 2 Machine universelle [Fichiers associés au TP]
• TP 3 Spellchecker [Fichier associé au TP]

TPs C

• TP 1 Tri de bâtons
• TP 2 Remplissage par diffusion [Fichiers associés au TP]

TDs Notations

• TD 1 Circuits booléens linéaires
• TD 2 Couplages

TDs Analyse d’algorithmes

• TD 1 Calcul de complexité
• TD 2 Quelques invariants

TDs Théorie

• TD 1 Indécidabilité par réduction
• TD 2 NP-difficulté par réduction

TDs et TPs Bonus

• TD Bonus Programmation dynamique
• TD/TP Bonus Langages réguliers

Corrigés de TPs/TDs

TPs OCaml

• TP 1 Le jeu du solitaire
• TP 2 Machine universelle
• TP 3 Spellchecker

TPs C

• TP 1 Tri de bâtons
• TP 2 Remplissage par diffusion

TDs Notations

• TD 1 Circuits booléens linéaires [Il n'y aura pas de corrigé, mais des indications sont disponibles dans les annales des oraux d’ENS.]
• TD 2 Couplages

TDs Analyse d’algorithmes

• TD 1 Calcul de complexité
• TD 2 Quelques invariants

TDs Théorie

• TD 1 Indécidabilité par réduction
• TD 2 NP-difficulté par réduction

TDs et TPs Bonus

• TD Bonus Programmation dynamique

Outils interactifs

• Éditeur d'automates
• Éditeur d'arbres de preuve