Catégorie:Wikipédia:ébauche informatique théorique
Cette catégorie est une catégorie d'ébauche. Elle est remplie par le modèle « {{Ébauche}} » avec le paramètre « informatique théorique » :
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Pages dans la catégorie « Wikipédia:ébauche informatique théorique »
Cette catégorie contient les 97 pages suivantes.
A
C
G
I
L
M
P
S
- Walter Savitch
- SC (complexité)
- Thomas Schiex
- Géraud Sénizergues
- Séparateur (théorie des graphes)
- Set packing
- Sharp-P-complet
- Simulation à événements discrets
- Stable (théorie des graphes)
- Stratégie d'évaluation (informatique)
- Bernd Sturmfels
- Suprématie quantique
- Synthèse logique
- Système acceptable de programmation
- Système de preuve interactive
- Mario Szegedy