Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
informatique théorique
Wikipédia en français - L'encyclopédie libre
Download this dictionary
Informatique théorique
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
et la
théorie des automates
et des
langages formels
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.