L'informatique par le calcul formel
Résumé
Non seulement le calcul formel est une discipline fondamentalement informatique et qui mérite d'être enseignée pour elle-même, mais on peut dire qu'elle est le meilleur vecteur pour enseigner tous les fondements de l'informatique, hors modélisation. Le caractère scientifique des données manipulées ne doit pas faire penser que l'on se restreint à une sous informatique. Bien au contraire, c'est l'informatique de demain, débarassée de considérations techniques et matérielles.