 | Programme d’études 2021-2022 | English | |
 | Programmation fonctionnelle | ||
Unité d’enseignement du programme de Bachelier en sciences mathématiques à la Faculté des Sciences |
| Code | Type | Responsable | Coordonnées du service | Enseignant(s) |
|---|---|---|---|---|
| US-B2-SCMATH-812-M | UE optionnelle | MENS Tom | S852 - Génie Logiciel |
|
| Langue d’enseignement | Langue d’évaluation | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Crédits | Pondération | Période d’enseignement |
|---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 0 | 15 | 0 | 0 | 3 | 3.00 | 1er quadrimestre |
| Code(s) d’AA | Activité(s) d’apprentissage (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Période d’enseignement | Pondération |
|---|---|---|---|---|---|---|---|---|
| S-INFO-803 | Programmation fonctionnelle | 15 | 0 | 15 | 0 | 0 | Q1 | 100.00% |
| Unité d'enseignement |
|---|
Objectifs par rapport aux acquis d'apprentissage du programme
- Comprendre et produire des raisonnements rigoureux en mathématiques.
- Pouvoir utiliser le vocabulaire mathématique et le formalisme à bon escient.
- Etre capable de donner du sens à des expressions formelles.
- Résoudre des problèmes nouveaux.
- Capacité à l'abstraction, à la manipulation de théories formelles et à l'utilisation de celles-ci pour résoudre des problèmes.
- Utiliser efficacement l'outil informatique.
- Capacité à comprendre un algorithme et à l'implémenter en utilisant des structures de données adéquates.
- Connaissance d'au moins un langage de programmation.
- Pouvoir développer des programmes informatiques pour résoudre des problèmes ayant une formulation mathématique.
- Pourvoir aborder la littérature et dialoguer avec les autres sciences.
- Avoir une bonne connaissance d'un domaine connexe utilisant les mathématiques.
Acquis d'apprentissage 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
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.
Types d'évaluations Q1 pour l'UE
- Examen écrit
Commentaire sur les évaluations Q1 de l'UE
Sans objet
Types d'évaluation Q3 pour l'UE
- Examen écrit
Commentaire sur les évaluations Q3 de l'UE
Sans objet
Types d'évaluation rattrapage BAB1 (Q1) pour l'UE
- Néant
Commentaire sur les évaluations rattr. Q1 de l'UE
Sans objet
Types d'activités
| AA | Types d'activités |
|---|---|
| S-INFO-803 |
|
Mode d'enseignement
| AA | Mode d'enseignement |
|---|---|
| S-INFO-803 |
|
Supports principaux
| AA | |
|---|---|
| S-INFO-803 |
Supports principaux non reproductibles
| AA | Supports principaux non reproductibles |
|---|---|
| S-INFO-803 | Tous les supports du cours seront disponible sur Moodle, la plateforme e-learning de l'UMONS. |
Supports complémentaires
| AA | |
|---|---|
| S-INFO-803 |
Supports complémentaires non reproductibles
| AA | Support complémentaires non reproductibles |
|---|---|
| S-INFO-803 | Sans objet |
Autres références conseillées
| AA | Autres références conseillées |
|---|---|
| S-INFO-803 | Les références conseillés seront indiqués dans le support du cours. |
Reports des notes d'AA d'une année à l'autre
| AA | Reports des notes d'AA d'une année à l'autre |
|---|---|
| S-INFO-803 | Non autorisé |