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 choisi et complexité
Trie par insertion
Trie par insertion en OCaml
Trie par insertion en Agda (Calf)
Trie fusion
Trie fusion en OCaml
Trie fusion en Agda (Calf)
Conclusion