Informatique théorique
Définition
L'informatique théorique est un sous-domaine de l'informatique qui se concentre sur les aspects mathématiques de l'informatique et inclut la théorie du calcul. L'informatique théorique couvre un large éventail de sujets, notamment les algorithmes, les structures de données, la complexité de calcul, le calcul parallèle et distribué, le calcul probabiliste, le calcul quantique, la théorie de l'automate , théorie de l’information, cryptographie, sémantique et vérification de programme, apprentissage automatique, biologie computationnelle, économie computationnelle, géométrie informatique, théorie des nombres et algèbre.
Français
informatique théorique loc. nom. fém.
Anglais
Theoretical computer science
Contributeurs: Claude Coulombe, Jacques Barolet, wiki