« Introduction à la complexité et sa formalisation » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
Balise : Révocation manuelle
Ligne 16 : Ligne 16 :


=== Trie par insertion ===
=== Trie par insertion ===

----


==== Trie par insertion en OCaml ====
==== Trie par insertion en OCaml ====
Ligne 24 : Ligne 22 :


=== Trie fusion ===
=== Trie fusion ===

------


==== Trie fusion en OCaml ====
==== Trie fusion en OCaml ====

Version du 24 avril 2025 à 14:46

É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

Récupérée de « http://os-vps418.infomaniak.ch:1250/mediawiki/index.php?title=Introduction_à_la_complexité_et_sa_formalisation&oldid=15819 »