Objectifs par rapport aux acquis d'apprentissage du programme

• Maîtriser les fondements théoriques des sciences informatiques.
• Montrer une compréhension et une connaissance profondes des concepts fondamentaux de l'informatique et des formalismes mathématiques utilisés dans le domaine de l'informatique.
• Etre capable de résoudre des exercices et des problèmes informatiques en appliquant les connaissances de base dans les diverses disciplines de l'informatique.
• Démontrer une connaissance et un savoir-faire de base dans des domaines connexes.
• Démontrer une connaissance et un savoir-faire de base en sciences et techniques.
• Gérer des projets informatiques.
• Appliquer les démarches informatiques (technologiques et scientifiques) appropriées.
• Maîtriser les connaissances de base liées à la démarche scientifique.
• Développer des capacités d'abstraction et de modélisation par le biais d'une approche conceptuelle et scientifique.
• Maîtriser les bases de la communication.
• Pouvoir communiquer des informations (tant à l'oral qu'à l'écrit) relatives au domaine des sciences informatiques de manière intelligible, claire et structurée.

Acquis d'apprentissage de l'UE

La programmation fonctionnelle est omniprésente dans le paysage contemporain des langages de programmation. Ce paradigme de programmation constitue la base de langages de programmation spécialisés tels que Scheme, Haskell, OCaml, Clojure, Erlang, F# et est également intégré dans des langages plus généraux tels que Python, Java, Scala, Go, Rust, Kotlin et bien d'autres.

A l'issue de cette unité apprentissage, les étudiants seront capables d'utiliser le paradigme de la programmation fonctionnelle, de comprendre ses principales caractéristiques et ses fondements théoriques sous-jacents. Les étudiants auront acquis une expérience pratique de la programmation fonctionnelle en utilisant le langage de programmation Scheme, et seront capables de transférer leurs compétences à d'autres langages de programmation fonctionnelle.

Contenu de l'UE : descriptif et cohérence pédagogique

La programmation fonctionnelle est un paradigme de programmation basé sur la notion des fonctions mathématiques. Dans cette unité d'apprentissage, nous étudierons:
- L'historique et l'état de l'art de la programmation fonctionnelle.
- Le lambda calcul, le fondement théorique de la programmation fonctionnelle.
- Les structures de contrôle et les structures de données en programmation fonctionnelle.
- La syntaxe et la sémantique du langage de programmation Scheme.
- L'importance de la programmation fonctionnelle dans les langages des programmation contemporains.

Compétences préalables

Les étudiants qui choisissent ce cours doivent déjà avoir acquis une connaissance de base de la programmation et avoir eu une expérience pratique avec au moins un langage de programmation.