logo
Cours d'informatique en MP2I
Home
Initializing search
    GitHub
    • OCaml
    • Analyse de programme
    • Structures linéaires
    • C
    • Arbres
    • Graphes
    • Algorithmique
    • Algorithmique du texte
    • Logique
    • SQL
    GitHub
        • Variables
        • Fonctions
        • Conditions
        • Récursivité
        • Structures de données persistantes
        • Boucles
        • Tableaux et chaînes de caractères
        • Types construits
        • None
        • TP 1 : Types, variables, fonctions
        • TP 2 : Récursivité et conditions
        • TP 3 : Structures persistantes
        • TP 4 : Listes
        • TP 5 : Tableaux et complexité
        • TP 6 : Types construits
        • Complexité
        • Preuve de programme
        • Tests
        • Compléments de complexité
        • TD preuve de programme
        • Liste, tableau, pile, file
        • Dictionnaire et table de hachage
        • TD 1 : pile et file
        • TD 2 : listes doublements chaînées
        • TD 3 : cycle dans une liste chaînée
        • TD 4 : table de hachage
        • Variables et nombres
        • Représentation des entiers
        • Représentation des flottants
        • Conditions et boucles
        • Fonctions
        • Pointeurs
        • Structures
        • Tableaux
        • Compilation
        • Chaînes de caractères
        • Tableaux multidimensionnels
        • TP 1 : Implémentation d'ensemble par représentation binaire (bit field)
        • TP 2 : Listes chaînées
        • TP 3 : Représentation binaire
        • TP 4 : Tableaux dynamiques
        • TP 5 : Chaînes de caractères
        • TP 6 : Utilisation du terminal sous Linux
        • TP 7 : Fichiers
        • TP 8 : Sudoku
        • TP 9 : Réécriture de commandes du terminal
        • Arbre binaire
        • Parcours d'arbre
        • Arbre binaire de recherche
        • Arbre binaire de recherche équilibré
        • File de priorité et tas
        • TP 1 : Arbres binaires
        • TD 2 : Preuves sur les arbres
        • TP 3 : Arbres
        • TD 4 : Parcours et arbre binaire de recherche
        • TD 5 : Arbre binaire de recherche équilibré
        • TP 6 : Arbre de segments et ancêtre commun
        • TD 7 : File de priorité et tas
        • TD 8 : Arbre croissant (X-ENS 2014)
      • Définitions
      • Représentations
      • Parcours
      • Plus courts chemins
      • Cours de graphes en info commune (Python)
        • TD 1 : Définitions
        • TD 2 : Représentations et parcours
        • TD 3 : Plus courts chemins
        • Concours Mines-Pont 2016
        • TP : Plus courts chemins et programmation dynamique
        • Algorithmes gloutons
        • Diviser pour régner
        • Programmation dynamique
        • TD 1 : Algorithmes gloutons et diviser pour régner
        • TD 2 : Programmation dynamique
        • Recherche de mot dans un texte
        • Compression de texte
        • Code : Compression de texte
        • TD : Algorithmique sur les chaînes de caractères
        • TP : Benchmark pour la recherche de sous-mot
        • Mines Pont 2022
        • Logique propositionelle : Syntaxe
        • Logique propositionelle : Sémantique
        • Problème SAT
        • Algorithme de Quine et backtracking
        • Code : Formules logiques
        • TD Logique 1
        • X-ENS 2016 : Problème 2-SAT
        • X-ENS 2016 (Problème SAT) : Corrigé
        • Utilisation d'un solver (minisat)
        • Cours 1 : Une seule table
        • Cours 2 : Plusieurs tables
        • Cours 3 : GROUP BY
        • Cours 4 : SELECT imbriqués
        • Cours 5 : Modèle entité-association
        • Résumé
        • Exercices SQL en ligne
        • Exemple : SDSS (objets célestes)
        • Exercices SQL Zoo
        • Énigme à résoudre en SQL

    Programmer : Binder | Basthon | repl.it

    Exos : https://ocaml.org/problems

    Librairie des algorithmes de MP2I : en OCaml | en C

    Concours MPI : ENS | Mines Pont | CCP

    Programme officiel

    Back to top