Catégorie:Informatique théorique
L'informatique en tant que science est tributaire de nombreux développements théoriques, certains relèvent purement des mathématiques ou de la logique, d'autres sont spécifiques à l'informatique, mais tout aussi formels et rigoureux.
Article principal : Informatique théorique.
Sous-catégories
Cette catégorie comprend les 24 sous-catégories suivantes.
A
C
I
L
M
O
P
R
T
V
Pages dans la catégorie « Informatique théorique »
Cette catégorie contient les 111 pages suivantes.
C
- Carte combinatoire
- Codage
- Code (information)
- Complexité
- Complexité de Kolmogorov
- Complexité de la communication
- Complexité de Lempel-Ziv
- Complexité des preuves
- Complexité générique des algorithmes
- Complexité pseudo-polynomiale
- Confluence (informatique)
- Conjecture d'Ehrenfeucht
- Construction par sous-ensembles
- Continuation
- Correction d'un algorithme
D
E
I
L
M
P
R
S
- Sémantique axiomatique
- Sémantique dénotationnelle
- Sémantique des langages de programmation
- Sémantique opérationnelle
- Sesquipuissance
- Special Interest Group on Algorithms and Computation Theory
- Suite de pliage de papier
- Suite de Rudin-Shapiro
- Système complexe
- Système d'événement discret
- Système de tague
T
- Table de transition d'état
- Terme (logique)
- Terminaison d'un algorithme
- Terminaison d'un système de réécriture
- Test de propriété
- Théorème de Cobham
- Théorème de Dejean
- Théorème de Mahaney
- Théorie algorithmique des jeux
- Théorie de la complexité (informatique théorique)
- Théorie des automates
- Théorie des domaines
