Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Catégorie:Informatique théorique

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.

Sous-catégories

Il y a 4 sous-catégories de cette catégorie.

L

• Langages formels
• Logique et calculabilité
• Logique mathématique

T

• Théorie des ordres

Articles dans la catégorie « Informatique théorique »

Il y a 16 articles dans cette catégorie.