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 (26)
- Catégorie:Palette Informatique théorique (0)
- Catégorie:Algorithmique (108)
- Catégorie:Arithmétique binaire (9)
- Catégorie:Calculabilité (123)
- Catégorie:Chercheur en informatique théorique (15)
- Catégorie:Combinatoire des mots (59)
- Catégorie:Conférence en informatique théorique (28)
- Catégorie:Intelligence ambiante (6)
- Catégorie:Intelligence artificielle (361)
- Catégorie:Langage formel (114)
- Catégorie:Méthode formelle (84)
- Catégorie:Modèle de sécurité informatique (18)
- Catégorie:Modèles de calcul (18)
- Catégorie:Modélisation des données (65)
- Catégorie:Ontologie (informatique) (34)
- Catégorie:Personnalité en informatique théorique (179)
- Catégorie:Réécriture (14)
- Catégorie:Théorème d'informatique (30)
- Catégorie:Théorie de l'information (91)
- Catégorie:Théorie de la complexité des algorithmes (69)
- Catégorie:Théorie des automates (69)
- Catégorie:Théorie des graphes (107)
- Catégorie:Théorie des types (74)
- Catégorie:Théorie des ordres (74)
- Catégorie:Vie artificielle (18)