Installer OCaml avec VScode :
Des instructions sont disponibles ici.
Programmes de colle :
- Programme 1 (du 31/01/2022 au 11/03/2022)
- Programme 2 (du 14/03/2022 au 8/04/2022)
- Programme 3 (du 11/04/2022 au 3/06/2022)
Sujets de colle :
- sujet 1 (correction)
- sujet 2 (correction, PDF)
- sujet 3 (correction, PDF)
- sujet 4 (correction, PDF)
- sujet 5 (correction, PDF)
- sujet 6 (correction, PDF)
- sujet 7 (correction, PDF)
- sujet 8 (correction, PDF)
- sujet 9 (correction, PDF)
- sujet 10 (correction, PDF)
- sujet 11 (correction, PDF)
Devoirs :
- DM 1 : Enveloppes convexes dans le plan (convexe.zip)
- DS 1 (corrigé)
- Mini projet 1 (à rendre avant lundi 29/11/2021 23h59) : courses
- fichier C
- interface graphique by François
- Résultats : course 1 ; course 2
- Mini projet 2 (à rendre avant jeudi 13/01/2022 23h59) : AOE0
- DS 2 (corrigé)
- DS 3 (corrigé)
- DM 2 : Tri rapide et algorithme de la médiane des médianes (corrigé)
- DM 3 : Implémentation des arbres bicolores en OCaml (corrigé)
- DS 4 (corrigé)
- DS 5 (corrigé)
Les sujets de TP :
- Prise en main du terminal
- Compilation et programmation en C (correction)
- Fonctions et tableaux (correction)
- TP bonus : partitions d’entiers et nombres premiers
- Tableaux et pointeurs (correction)
- Types structurés et analyse d’algorithmes (correction)
- Piles (correction)
- Prise en main d’OCaml (correction)
- Programmation récursive (correction)
- Les listes OCaml (correction)
- Distance minimale dans un nuage de points (correction)
- Arbres (correction)
- Arbres AVL et tas presque équilibrés (correction)
- Programmation dynamique (correction OCaml, correction C)
- Arbres binaires de recherche en C (correction)
- Implémentations de structures de données (correction)
- Graphes non pondérés (correction)
- Bases de données relationnelles (correction, diagramme)
- Bases de données : movie.sqlite, mystery
- Tutoriel SQL
- Graphes eulériens (correction PDF, correction C)
- Logique propositionnelle (correction)
- Jeu du solitaire (correction)
- Compression de Huffman (correction)
Les présentations vues en cours :
- Architecture matérielle et logicielle d’un ordinateur
- Les Bases de la programmation en C
- Les types composés en C
- Les pointeurs
- Les fonctions
- La gestion des fichiers
- Représentation des nombres en machine
- Analyse d’algorithmes
- Types et structures de données (en C)
- Introduction au langage OCaml
- Programmation impérative en OCaml
- Récursivité et listes
- Analyse de programmes récursifs
- Algorithmes “Diviser pour régner”
- Bonus : la programmation par continuation
- Introduction aux arbres
- Structures à l’aide d’arbres
- Les arbres en C
- Programmation dynamique
- Preuves par induction structurelle
- Graphes non pondérés
- Graphes pondérés
- Graphes en C
- Bases de données relationnelles
- Logique propositionnelle
- Recherche par force brute
- Algorithmique du texte
