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.

Français

informatique théorique

Anglais

Theoretical computer science

Theoretical computer science is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.

It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description:[1]