Dans ce cours, on étudie principalement la programmation fonctionnelle. Les points traités sont:
La différence de la programmation applicative par rapport à la programmation impératif.
La calculabilité des fonctions comme outil fondamental de la programmation fonctionnelle, par:
Machine de Turing
Récursivité, en particulier les fonctions primitives récursives comme sous ensemble des fonctions récursives
Les travaux pratiques sont réalisés sous CAML
- Enseignant: Bellala fatma Zohra fzbellala
- Enseignant: Samira Oulefki