-
Algorithmes de Peterson et Lamport par Thibaut Antoine (#00038)
Utilisable dans les leçons : 18
Références :- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre
- Informatique MP2I et MPI — CPGE 1re et 2e années - Nouveaux programmes de Vincent Barra
-
Preuve d'un algorithme de calcul d'une table de parsing LL(1) par Thibaut Antoine (#00037)
Utilisable dans les leçons : 30
Références :- Compilation : analyse lexicale et syntaxique — Du texte à sa structure en informatique de Romain Legendre & François Schwarzentruber
-
Calcul d'attracteurs dans un jeu d'accessibilité en temps linéaire par Thibaut Antoine (#00036)
Utilisable dans les leçons : 16
Références :- Finite Model Theory and Its Applications de Erich Grädel & Phokion G. Kolaitis & Leonid Libkin & Maarten Marx & Joel Spencer & Moshe Y. Vardi & Yde Venema & Scott Weinstein
-
Algorithme A* par Thibaut Antoine (#00035)
Utilisable dans les leçons : 07
Références :- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre
- Informatique MP2I et MPI — CPGE 1re et 2e années - Nouveaux programmes de Vincent Barra
- Intelligence artificielle : une approche moderne de Stuart Russel & Peter Norvig
-
Recherche des plus proches voisins par des arbres k-dimensionnels par Balthazar Patiachvili (#00034)
Utilisable dans les leçons : 15
Références : -
Algorithme de Quine par Balthazar Patiachvili (#00033)
Utilisable dans les leçons : 33
Références : -
Décidabilité de problèmes sur les grammaires algébriques par Balthazar Patiachvili (#00032)
Utilisable dans les leçons : 32
Références :- Langages formels — Calculabilité et complexité de Olivier Carton
-
Théorème de Rice par Balthazar Patiachvili (#00031)
Utilisable dans les leçons : 32
Références :- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre
-
NP-complétude du problème de 3-colorabilité d'un graphe par Mathis Degryse (#00030)
Utilisable dans les leçons : 31
Références : -
Algorithme CYK par Balthazar Patiachvili (#00029)
Utilisable dans les leçons : 14 / 30
Références :- Langages formels — Calculabilité et complexité de Olivier Carton
- Compilation : analyse lexicale et syntaxique — Du texte à sa structure en informatique de Romain Legendre & François Schwarzentruber
-
Algorithme de décomposition d'un texte en lexèmes par Balthazar Patiachvili (#00028)
Utilisable dans les leçons : 29
Références :- Compilation : analyse lexicale et syntaxique — Du texte à sa structure en informatique de Romain Legendre & François Schwarzentruber
-
Protocole HTTP par Balthazar Patiachvili (#00027)
Utilisable dans les leçons : 25 / 26
Références :- Réseaux de Andrew S. Tanenbaum & David J. Wetherall & Nick Feamster
-
Gestion d'une connexion TCP par Balthazar Patiachvili (#00026)
Utilisable dans les leçons : 25
Références :- Réseaux de Andrew S. Tanenbaum & David J. Wetherall & Nick Feamster
-
Exemples de requêtes intra-réseau et inter-réseaux par Balthazar Patiachvili (#00025)
Utilisable dans les leçons : 24
Références : -
Additionneur carry-look-ahead par Balthazar Patiachvili (#00024)
Utilisable dans les leçons : 22
Références : -
Gestion de la concurrence dans un SGBD par Balthazar Patiachvili (#00023)
Utilisable dans les leçons : 21
Références : -
Bascule D par Balthazar Patiachvili (#00022)
Utilisable dans les leçons : 19
Références : -
Organisation mémoire d'un processus sur Linux par Balthazar Patiachvili (#00021)
Utilisable dans les leçons : 19
Références :- Systèmes d'exploitation de Andrew S. Tanenbaum
-
Ordonnancement shortest-job-first multicœurs par Balthazar Patiachvili (#00020)
Utilisable dans les leçons : 17
Références : -
Calcul des attracteurs par Florent Krasnopol (#00019)
Utilisable dans les leçons : 16
Références : -
Mots bien parenthésés par Balthazar Patiachvili (#00018)
Utilisable dans les leçons : 04
Références : -
Algorithme d'approximation glouton pour SETCOVER par Mathis Degryse (#00017)
Utilisable dans les leçons : 11 / 12
Références :- Algorithmique de Thomas H. Cormen & Charles Leiserson & Ronald Rivest & Clifford Stein
-
Algorithme probabiliste de calcul de la médiane d'une liste par Mathis Degryse (#00016)
Utilisable dans les leçons : 11
Références : -
Problème de couverture par ensembles par Balthazar Patiachvili (#00015)
Utilisable dans les leçons : 11 / 12
Références :- Algorithmique de Thomas H. Cormen & Charles Leiserson & Ronald Rivest & Clifford Stein
-
Arbres rouge-noir par Balthazar Patiachvili (#00014)
Utilisable dans les leçons : 10
Références :- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre
-
Recherche d'un motif par un automate fini par Balthazar Patiachvili (#00013)
Utilisable dans les leçons : 09
Références :- Algorithmique de Thomas H. Cormen & Charles Leiserson & Ronald Rivest & Clifford Stein
-
Algorithme de Huffman par Balthazar Patiachvili (#00012)
Utilisable dans les leçons : 09
Références :- Algorithmique de Thomas H. Cormen & Charles Leiserson & Ronald Rivest & Clifford Stein
-
Tri topologique par Balthazar Patiachvili (#00011)
Utilisable dans les leçons : 07
Références :- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre
-
2-SAT par Balthazar Patiachvili (#00010)
Utilisable dans les leçons : 07 / 31
Références : -
Union-find par Mathis Degryse (#00009)
Utilisable dans les leçons : 06
Références : -
Tri par tas par Balthazar Patiachvili (#00008)
Utilisable dans les leçons : 05 / 10
Références : -
Tas binomial par Balthazar Patiachvili (#00007)
Utilisable dans les leçons : 05
Références : -
Correction du tri par séléction par la logique de Hoare par Balthazar Patiachvili (#00006)
Utilisable dans les leçons : 01
Références : -
Propriétés du losange par Balthazar Patiachvili (#00005)
Utilisable dans les leçons : 04
Références :- Les clefs pour l'Info de Ismael Belghiti & Roger Mansuy & Jill-Jênn Vie
-
Lemme de Newman par Florent Krasnopol (#00004)
Utilisable dans les leçons : 04
Références :- Les clefs pour l'Info de Ismael Belghiti & Roger Mansuy & Jill-Jênn Vie
-
Mots bien parenthésés par Florent Krasnopol (#00003)
Utilisable dans les leçons : 04
Références : -
Fonctionnement du protocole OSPF par Balthazar Patiachvili (#00002)
Utilisable dans les leçons : 24 / 26
Références :- Réseaux de Andrew S. Tanenbaum & David J. Wetherall & Nick Feamster
-
Fonctionnement du protocole DNS par Balthazar Patiachvili (#00001)
Utilisable dans les leçons : 26
Références :- Réseaux de Andrew S. Tanenbaum & David J. Wetherall & Nick Feamster
-
Organisation logique du système de fichiers ext2 par Balthazar Patiachvili (#00000)
Utilisable dans les leçons : 21
Références :- Systèmes d'exploitation de Andrew S. Tanenbaum