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.
Sous-catégories
Cette catégorie comprend les 26 sous-catégories suivantes.
+
- Palette Informatique théorique – 13 P
A
C
- Combinatoire des mots – 59 P
I
- Intelligence ambiante – 6 P
L
M
- Modèle de sécurité informatique – 18 P
- Modèles de calcul – 18 P
O
P
R
- Réécriture – 14 P
T
- Théorie des types – 73 P
V
Pages dans la catégorie « Informatique théorique »
Cette catégorie contient les 126 pages suivantes.
A
C
- Carte combinatoire
- Code (information)
- Coinduction
- Complexité
- Complexité de Kolmogorov
- Complexité de la communication
- Complexité de Lempel-Ziv
- Complexité des preuves
- Complexité générique des algorithmes
- Complexité pseudo-polynomiale
- Computability in Europe
- Confluence (informatique)
- Congruence de Simon
- Conjecture d'Ehrenfeucht
- Construction par sous-ensembles
- Continuation (informatique)
- Correction d'un algorithme
E
F
I
L
M
- Machine à état liquide
- Machine à états abstraits
- Mémoire temporelle et hiérarchique
- Modèle (informatique)
- Modèle booléen
- Modèle des croyances transférables
- Modèle LogP (Informatique)
- Modèle probabiliste de pertinence
- Modèle vectoriel
- Modélisation d'entreprise
- Monade (informatique)
- Mot sans facteur carré
- Motif inévitable
- Mu-calcul
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
- Complexité implicite
- Théorie de la complexité (informatique théorique)
- Théorie des automates
- Théorie des domaines
- Trou noir ordinateur