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.
• Etre capable d'utiliser le vocabulaire et les raisonnements mathématiques adéquats pour formuler et résoudre des problèmes dans le domaine de l'informatique.
• Démontrer une connaissance et un savoir-faire de base dans des domaines connexes.
• Avoir acquis une connaissance suffisante de la langue anglaise pour la lecture de textes scientifiques, en particulier dans le domaine de l'informatique.
• 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.

Acquis d'apprentissage de l'UE

La programmation fonctionnelle est omniprésent dans le paysage contemporain des langages de programmation. A l'issue de cet apprentissage, les étudiants seront capables d'utiliser le paradigme de programmation fonctionnelle, et de comprendre ses caractéristiques principales. Les étudiants auront une expérience pratique avec la programmation fonctionnelle en utilisant le langage de programmation Scheme, et seront capable de transférer leur 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. Ce cours étudiera:
- 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

Avoir une connaissance de base en programmation. Avoir de l'expérience pratique avec au moins un langage de programmation.