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.
  1. Cours/TP : le langage Caml.
  2. Cours sur la récursivité.
  3. Cours/TP : Types.
  4. Le cours sur les arbres.

Les énoncés de TP :
  1. TP 1 : récursivité.

Les énoncés de TD :
  1. TD 1 : des tris sur les listes chaînées.

Les devoirs :

À venir.








Option informatique mais en MP

Devoirs :
  1. DS 1 : parcours de graphes. Un corrigé.
  2. DS 2 : déduction naturelle. Un corrigé.
  3. DS 3 : langages, backtracking, graphes. Exercices 1 et 2 corrigés en séance, un corrigé du mini-problème.

Les cours :
  1. Tas et files de priorité.
  2. Parcours de graphes. Les fonctions du cours en Ocaml.
  3. Algorithmes avancés sur les graphes. Fichier pour les tas min.
  4. Déduction naturelle en logique propositionnelle.
  5. Retour sur trace. Une solution du probleme des n reines en Ocaml.
  6. Langages.


Les TD :
  1. TD01 : logique propositionnelle. Un corrigé par M. Jaffuel.
  2. TD02 : tri lisse (tas).
  3. TD03 : ordonnancement de tâches pondérées. Un corrigé par M. Jaffuel.


Les TP :
  1. TP01 : calcul des séquents. Le fichier tapé en séance.
  2. TP02 : calcul de sommes. Les fichiers tapés en séance : backtracking, programmation dynamique, .
  3. TP03 : Sudoku. Un fichier tapé en séance.
  4. TP04 : Palindromes. Le fichier tapé en séance.





Retour.