« Introduction à la complexité et sa formalisation » : différence entre les versions
Aller à la navigation
Aller à la recherche
(Page créée avec « Étudiant : ALBRECHT Maël Tuteur : HIRSCHOWITZ Tom == Introduction == ») |
Aucun résumé des modifications |
||
| Ligne 4 : | Ligne 4 : | ||
== Introduction == |
== 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 == |
|||
Version du 24 avril 2025 à 14:44
Étudiant : ALBRECHT Maël
Tuteur : HIRSCHOWITZ Tom