- Algorithmes pour les jeux
- Grammaires non contextuelles
- Programmation concurrente (exercices élémentaires)
| - Lemme fondamental (énoncé + preuve)
- Stabilité/non-stabilité de l'ensemble des langages algébriques par les opérations usuelles sur les langages (énoncé + preuve)
- Invariant de l'algorithme de Kruskal (énoncé + preuve)
- Lemme de Berge (énoncé + preuve)
- Pour A*, toute heuristique consistante est admissible
|