Portail:Informatique théorique
Une page de Wikipédia, l'encyclopédie libre.
| Portail de l' |
« L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des télescopes. » Edsger Dijkstra 474 articles sont actuellement liés au portail. |
L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique. L'informatique théorique se caractérise par une approche par nature plus mathématique et moins empirique de l'informatique et ses objectifs ne sont pas toujours directement reliés à des enjeux technologiques. De nombreuses disciplines peuvent être regroupées sous cette dénomination diffuse dont la théorie de la calculabilité, l'algorithmique et la théorie de la complexité, la théorie de l'information, l'étude de la sémantique des langages de programmation, la théorie des graphes, la théorie des automates et des langages formels, etc.
| Portail | Discussion |
mentions légales Wikipédia
politique de confidentialité
à propos de Wikipédia
avertissements
contacts
faire un don