Comme toute discipline scientifique, l'informatique fait appel aux mathématiques pour formaliser des concepts ou pour modéliser des situations dans le but de raisonner et d'étudier a priori les propriétés des entités que l'informaticien...