MPII
Cette classe est une création de la rentrée 2021. Elle contient un enseignement approfondi d'informatique qui s'appuie sur 2 langages : C et OCaml (plus une initiation à SQL).
Retour
Pendant les dernières semaines nous avons commencé des "vraies" colles en informatique.
Voici le fichiers des énoncés que j'ai donné, certains sont corrigés, plus ou moins précisemment.
N'hésitez pas à demander la réponse à un exercice, peut-être saurai-je répondre
Colles-TP en OCaml.
Il a été choisi d'utiliser les colles pour proposer des TP portant sur le langage OCaml. Certains des sujets sont suivis d'un corrigé.
- Introduction à OCaml, on utilise Visual Studio Code
- Usage des tableaux. Un complément, sur les puces ADN, a été transformé en DM, il est accompagné d'un corrigé.
- On étudie l'usage de listes pour modéliser les polynômes (sous forme compacte), le sujet est accompagné du corrigé.
- Le quatrième sujet demande de programmer quelques algorithmes de tri.
- Le sujet suivant propose divers algorithmes du calcul du second plus grand élément d'une liste.
- Les constructions de types en OCaml sont présentées dans la colle 06.
- Dans la colle 07, on utilise les piles pour lire une formule arithmétique simple et la calculer.
- La colle 08, manipule les types de données linéaires.
- La colle 09 permet de mettre en évidence l'amélioration apportée par la mémoïzation, ici à l'aide d'une table de hachage rudimentaire. Le théme est le comptage de mur de briques de largeur donnée avec des briques de largeur 2 ou 3.
- La colle 10 utilise les arbres afin de proposer un algorithme de résolution du jeu "Le compte est bon".
- La colle 11 implémente un algorithme de recherche d'isomorphisme entre arbre généraux.
- La colle 12 donne les outils de visualisation d'arbres binaires. On peut ainsi voir les fonctions qui modifient un arbre : rotations, ajout et suppresion dans un tas.
- La colle 13 implémente la structure d'arbre rouge-noir, adjonction et suppression. Un fichier ocaml pour la solution donne en plus les outils, adaptés de la colle précédente pour afficher les arbres en cours de construction.
- La colle 14 implémente la structure d'arbre 2-3, adjonction et suppression en utilisant les exceptions. Un fichier ocaml pour la solution donne en plus les outils, adaptés de la colle précédente pour afficher les arbres en cours de construction.
- La colle 15 implémente les formules logiques en OCaml et propose un soldeur par réduction.
- La colle 16 utilise les IF-expressions et propose un solveur de tautologie qui fournit des réfutations des propositions logiques non tautologiques.
TP en C
- Le premier TP présente l'usage du langage C.
- Le TP 2 porte sur les tableaux.
- Le TP 3 parle des chaînes de caractères.
- Le TP 4 propose un exercice de recherche de rectangle maximal
- Le TP 5 implémente les listes chaînées.
- Le TP6 implémente les tableaux dynamiques.