Le calcul formel est un type de calcul qui permet de manipuler les grands nombres dans des calculs intensifs en utilisant des algorithmes optimises dans le but de minimiser le temps de calcul. Appele aussi calcul symbolique, pour completer les methodes de calcul numerique. Les logiciels de calcul formel ont beaucoup evolues au cours de ces dernieres annees. Ils sont destines aux mathematiciens, aux informaticiens et aux utilisateurs qui utilisent les ma- thematiques comme les electroniciens, les mecaniciens, ... Ce document est destine aux etudiants de la premiere annee Licence tronc commun Math-Informatique. Il decrit un cours de 20 heures avec 20 heures de travaux pratiques. Les points traites dans ce cours sont indispensable pour pouvoir utiliser un logiciel de calcul formel. Les logiciels etudies dans ce cours sont Maple et Caml.