Informatique en MPSI au lycée Daudet
Informatique de tronc commun
Le programme de l'informatique de tronc commun.
Téléchargement de Pyzo : voir par exemple ici.
La page de M Chireux.
Option informatique
On commence en janvier.
Le programme de l'option. Le langage de l'option est Objective Caml. Il me semble pertinent d'utiliser WinCaml (ou ses déclinaisons sur les autres OS).
Un lien pour exécuter du code OCaml.
On me l'a demandé en 2018 et c'est vrai que c'est une mine d'or donc je le laisse : un lien vers le super site de M. Becirspahic.
Les cours : au début, on s'appuyera sur cet aide-mémoire.
- Cours/TP : le langage Caml.
- Cours sur la récursivité.
- Cours/TP : Types.
- Le cours sur les arbres.
- Le cours sur les structures de données.
- Le cours sur les arbres binaires de recherche.
- Le cours sur la logique propositionnelle.
Les énoncés de TP :
- TP 1 : récursivité.
- TP 2 : autour du cheminement d'un arbre binaire strict.
- TP 3 : deux (en fait trois) implémentations des files.
- TP 4 : dictionnaires modifiables et tables de hachage.
- TP 5 : dictionnaires immuables et arbres binaires de recherche.
Les énoncés de TD :
- TD 1 : des tris sur les listes chaînées.
- TD 2 : des matrices en Caml.
- TD 3 : des arbres en Caml.
- TD 4 : tries. Un corrigé.
- TD 5 : utilisation de piles et de files.
- TD 6 : 3-SAT.
- TD 6 alternatif : mémoïsation VS tabulation.
Les devoirs :
- DS 1 du 27/03. Un corrigé.
- DM 1 pour le 22/04. Un corrigé.
- DS 2. Un corrigé.
- DS 3. Un corrigé.
- DS 4. Un corrigé.
- DS 5. Un corrigé.
Option informatique mais en MP
Devoirs :
- DS 1 : parcours de graphes. Un corrigé.
- DS 2 : déduction naturelle. Un corrigé.
- DS 3 : langages, backtracking, graphes. Exercices 1 et 2 corrigés en séance, un corrigé du mini-problème.
- DS 4 : automates. Un corrigé.
Les cours :
- Tas et files de priorité.
- Parcours de graphes. Les fonctions du cours en Ocaml.
- Algorithmes avancés sur les graphes. Fichier pour les tas min.
- Déduction naturelle en logique propositionnelle.
- Retour sur trace. Une solution du probleme des n reines en Ocaml.
- Langages.
- Automates.
Les TD :
- TD01 : logique propositionnelle. Un corrigé par M. Jaffuel.
- TD02 : tri lisse (tas).
- TD03 : ordonnancement de tâches pondérées. Un corrigé par M. Jaffuel.
- TD04 : mots de Lyndon et de De Brujin. Un corrigé.
- TD05 : automates ambigus.
- TD06 : automate de Glushkov et algorithme de Berry-Sethi.
Les TP :
- TP01 : calcul des séquents. Le fichier tapé en séance.
- TP02 : calcul de sommes. Les fichiers tapés en séance : backtracking, programmation dynamique, .
- TP03 : Sudoku. Un fichier tapé en séance.
- TP04 : Palindromes. Le fichier tapé en séance.
Retour.