Catégorie:Informatique théorique
page de catégorie d'un projet Wikimedia / De Wikipedia, l'encyclopédie encyclopedia
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.
Article principal : Informatique théorique.