Vous pourriez avoir besoin des mathématiques discrètes.
Elles se concentrent sur les concepts fondamentaux de l'informatique tels que la théorie des ensembles, la théorie des graphes, les complexités des algorithmes, l'analyse combinatoire et la logique.
Les systèmes de calcul formel sont une autre aide informatique aux mathématiciens.
Le calcul formel manipule sur ordinateur des objets mathématiques comme les entiers, les polynômes, les groupes, les algorithmes, etc.
Des systèmes, tels Maxima ou Pari/GP, permettent d'effectuer ces manipulations.
Dans la plupart des domaines oui, outre la logique et le raisonnement mathématique, qui est de toute manière utile dans la vie en général, cela permet d'appréhender plusieurs problèmes, entre autres : La complexité algorithmique, qui permet de résoudre des problèmes d'optimisation.
La construction de modèles.