Informatique
Structure union-find
Composantes fortement connexes et algorithme ...
Arbres couvrants et algorithme de Kruskal
Graphe biparti, couplage et chemin augmentant
Algorithmes probabilistes et problèmes couran...
Algorithme par séparation et évaluation
Approche gloutonne et algorithme d’approximat...
Apprentissage supervisé
Apprentissage non supervisé
Jeux et IA
Déduction naturelle – Règles d’introduction e...
Alphabet, mot et langage – Langage régulier e...
Automate fini déterministe/non-déterministe –...
Grammaire non contextuelle – Dérivation et ar...
Décidabilité – Classe – Complexite
Concurrence – Synchronisation