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

Source : Claude Coulombe, Datafranca.org

Source: Wikipedia, Theoretical computer science