L’enseignement des paradigmes de programmation présente et montre principalement les fondements ainsi que les différences entre les différents paradigmes de programmation.

On y aborde la programmation impérative (effet de bord, synonomie, ADA, abstraction et paquetages, et passages de paramètres), la programmation fonctionnelle (le Lambda-notation, conversion, Beta-réduction, induction, récursion) et enfin la programmation concurrente (concurrence, synchronisme, asynchronisme, entrelacement, deadlock, vivacité, équité, section critique, exclusion mutuelle, les algorithmes de Dekker et de Peterson).

Afin d’illustrer les concepts de la programmation impérative, concurrente et objets, les étudiants mettent en œuvre en TP les algorithmes de Dekker et de Peterson en utilisant le langage ADA, un langage impératif, concurrent orienté objet.

À la fin de cette UE, vous serez capable de :

• Se servir de plusieurs styles de programmation,
• Maitriser les fondements de la programmation impérative et fonctionnelle (Lambda-calcul),
• Étudier les propriétés de sûreté et de vivacité d’une solution d’exclusion mutuelle en programmation impérative/concurrente.

1ère session :

• 30% Contrôle Continu écrit

• 20% Note de TP

• 50% examen terminal écrit

2ème session : 100% examen terminal écrit.