Cette leçon présente deux algorithmes classiques de tri : le tri par insertion et le tri par sélection. Tu apprendras leur principe, leur invariant, leur terminaison et leur complexité. Ces méthodes ...

Modéliser un problème, concevoir un algorithme de résolution et en proposer une implémentation correcte. Du problème à sa solution, ce cours combine approches pragmatique, pratique et théorique de ...

Les machines déterministes font toujours un seul calcul à la fois. Ce calcul est constitué d'étapes élémentaires; à chacune de ces étapes, pour un état donné de la mémoire de la machine, l'action ...

Le projet UTHOTP visait principalement à concevoir et à étudier des algorithmes efficaces, la qualité de ces derniers étant mesurée par la façon dont le temps d’exécution varie en fonction de ...