« 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
Balise : Révocation manuelle
Aucun résumé des modifications
Ligne 13 : Ligne 13 :
=== Agda (Calf) ===
=== Agda (Calf) ===


== Fonction choisi et complexité ==
== Fonction choisie et complexité ==


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


==== Trie par insertion en OCaml ====
==== Tri par insertion en OCaml ====


==== Trie par insertion en Agda (Calf) ====
==== Tri par insertion en Agda (Calf) ====


=== Trie fusion ===
=== Tri fusion ===


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


==== Trie fusion en Agda (Calf) ====
==== Tri fusion en Agda (Calf) ====


== Conclusion ==
== Conclusion ==

Version du 24 avril 2025 à 14:48

É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

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