Informatique théorique
L'informatique théorique (TCS) est un sous-ensemble de l’informatique générale et des mathématiques qui se concentre sur davantage de sujets mathématiques de l'informatique et inclut la théorie de l'informatique.
Il est difficile de circonscrire précisément les domaines théoriques. Le ACM du Special Interest Group sur les algorithmes et la théorie de calcul (de SIGACT) fournit la description suivante:
L'informatique théorique couvre une grande variété de sujets, y compris les algorithmes, les structures de données, la complexité de calcul, le calcul parallèle et distribué, le calcul de probabilité, le calcul quantique, la théorie des automates, la théorie de l’information, la cryptographie, la sémantique du programme et la vérification, l’apprentissage automatique, la biologie computationnelle, l’économie de calcul, géométrie informatique, théorie des nombres et algèbre. Les travaux dans ce domaine se distinguent souvent par l'accent mis sur la technique mathématique et la rigueur.
