Additionneur à saut de retenue

Vérification du produit matriciel
- Utilisable dans les leçons : 01 / 03 / 11
Protocole TLS
- Utilisable dans les leçons : 25 / 26
Problème de l'arrêt
- Utilisable dans les leçons : 01 / 32
K-moyennes
- Utilisable dans les leçons : 15
Du modèle conceptuel des données à la programmation orientée objet
- Utilisable dans les leçons : 02
Gestion de la congestion en TCP
- Utilisable dans les leçons : 25
Chemin dans une pyramide
- Utilisable dans les leçons : 14
Fork
- Utilisable dans les leçons : 17 / 18 / 19 / 20
Fonctionnement de la pile d'exécution d'un programme
- Utilisable dans les leçons : 05 / 19
Problème du rendez-vous
- Utilisable dans les leçons : 18 / 20
Généralisation du tri par comptage
- Utilisable dans les leçons : 08
Tri fusion
- Utilisable dans les leçons : 08 / 13
Exemples de requêtes SQL
- Utilisable dans les leçons : 27 / 28
Algorithme de Bellman-Ford décentralisé
- Utilisable dans les leçons : 07 / 18 / 20 / 24 / 26
Algorithme de Bellman-Ford
- Utilisable dans les leçons : 07 / 14
Conception d'une base de données
- Utilisable dans les leçons : 27 / 28
Circuits combinatoires
- Utilisable dans les leçons : 22 / 33
Additionneur à saut de retenue
- Utilisable dans les leçons : 22 / 23
3-SAT
- Utilisable dans les leçons : 31 / 33
Algorithmes de Peterson et Lamport
- Utilisable dans les leçons : 18
Algorithme de calcul d'une table de parsing LL(1)
- Utilisable dans les leçons : 30
Algorithme A*
- Utilisable dans les leçons : 07
Recherche des plus proches voisins par des arbres k-dimensionnels
- Utilisable dans les leçons : 15
Algorithme de Quine
- Utilisable dans les leçons : 33
Décidabilité de problèmes sur les grammaires algébriques
- Utilisable dans les leçons : 32
Théorème de Rice
- Utilisable dans les leçons : 32
NP-complétude du problème de 3-colorabilité d'un graphe
- Utilisable dans les leçons : 31
Algorithme de Cocke-Younger-Kasami
- Utilisable dans les leçons : 14 / 30
Algorithme de décomposition d'un texte en lexèmes
- Utilisable dans les leçons : 29
Protocole HTTP
- Utilisable dans les leçons : 25 / 26
Gestion d'une connexion TCP
- Utilisable dans les leçons : 25
Exemples de requêtes intra-réseau et inter-réseaux
- Utilisable dans les leçons : 24
Additionneur carry-look-ahead
- Utilisable dans les leçons : 22
Gestion de la concurrence dans un SGBD
- Utilisable dans les leçons : 21
Bascule D
- Utilisable dans les leçons : 19
Organisation mémoire d'un processus sur Linux
- Utilisable dans les leçons : 19
Ordonnacement shortest-job-first multicœur
- Utilisable dans les leçons : 17
Calcul des attracteurs de jeux
- Utilisable dans les leçons : 16
Algorithme probabiliste de calcul d'une médiane d'une liste
- Utilisable dans les leçons : 11
Algorithme d'approximation glouton pour le problème de couverture d'un graphe par ensembles
- Utilisable dans les leçons : 11 / 12
Arbres rouge-noir
- Utilisable dans les leçons : 10
Recherche d'un motif par un automate fini
- Utilisable dans les leçons : 09
Algorithme de Huffman
- Utilisable dans les leçons : 09 / 10 / 12
Tri topologique
- Utilisable dans les leçons : 07
2-SAT
- Utilisable dans les leçons : 07 / 31
Union-find
- Utilisable dans les leçons : 06
Tri par tas
- Utilisable dans les leçons : 05 / 08 / 10
Tas binomial
- Utilisable dans les leçons : 05
Correction du tri par sélection par la logique de Hoare
- Utilisable dans les leçons : 01 / 08
Propriétés de confluence
- Utilisable dans les leçons : 04
Lemme de Newman
- Utilisable dans les leçons : 04
Langage de Dyck / Mots bien parenthésés
- Utilisable dans les leçons : 04
Fonctionnement du protocole OSPF
- Utilisable dans les leçons : 24 / 26
Fonctionnement du protocole DNS
- Utilisable dans les leçons : 26
Organisation logique du système de fichiers ext2
- Utilisable dans les leçons : 21