Programmation Fonctionnelle

Présentation

L'objectif de ce module est de présenter dans le cadre d'un langage applictif dans un premier temps les fonctions récursives de la variable entière, puis les structures de données récursives. Il s'agit principalement de s'appuyer sur le formalisme d'un langage applicatif pour montrer l'intérêt de considérer un programme comme objet de réflexion et d'introduire les notions de preuve de programme et de transformation de programme

En bref

Crédits ECTS 4

Nombre d'heures 40 HE

Contact(s)

Composante