« Département:Informatique théorique/Présentation du département » : différence entre les versions

Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-qu'il +qu’il)
m Robot : Remplacement de texte automatisé (-l'[[ +l’[[)
Ligne 1 :
L'informatique est une science théorique à finalité pratique. Elle concerne la définition, le classement, la recherche et le traitement automatiques des informations, d'où son nom : '''informa'''tion – auto'''matique'''.
 
Bien qu’il soit difficile de déterminer sa date de naissance, on s'accorde à penser qu'elle a émergé dans les années 1930. C'est donc une science très jeune qu’il est encore difficile de classer : certains l'incluent dans les mathématiques appliquées, voire dans la théorie des nombres ; d'autres disent qu’il s'agit d'''une'' mathématique, incluse dans ''les'' mathématiques. Même si les frontières entre l'informatique et certains domaines des mathématiques sont floues de nos jours, certains théoriciens sont d'accord pour affirmer que, par l'l’[[w:Axiome du choix|axiome du choix]], l'informatique est un sous-ensemble des mathématiques.
 
Abelson et Sussman ont noté que si les mathématiques partent de ''définitions'' (question ‘what is?’), l'informatique part toujours d'un ''but'' à atteindre (question ‘how to?’).