Résumé de cours (sous pdf).
Ce texte est un résumé incomplet du cours de calcul formel. Il a servi de support en particulier au cours durant l'année 2008/2009.