Introduction à la complexité et sa formalisation
De Wiki du LAMA (UMR 5127)
Aller à la navigation
Aller à la recherche
Étudiant : ALBRECHT Maël
Tuteur : HIRSCHOWITZ Tom
Introduction
Qu'est ce que la complexité ?
Langage utilisé
OCaml
Agda (Calf)
Fonction choisie et complexité
Tri par insertion
Tri par insertion en OCaml
Tri par insertion en Agda (Calf)
Tri fusion
Tri fusion en OCaml
Tri fusion en Agda (Calf)
Conclusion