L'objectif de ce module est, outre la consolidation et l'approfondissement de la programmation fonctionnelle (à partir de CAML), d'introduire quelques outils fondamentaux en informatique (récursion et inductions, structures d'arbre et de terme, notion de langage, fonctions). L'idée est d'être un peu plus abstrait que le module du 1er semestre et d'introduire certains concepts informatiques utiles y compris à celui qui ne continuera pas en informatique.

Ce cours introduit deux langages de manipulation et de traitement symboliques de données.