Programme d’études 2020-2021English
Programmation fonctionnelle
Unité d’enseignement du programme de Bachelier en sciences mathématiques à la Faculté des Sciences

Les étudiants sont invités à consulter les fiches ECTS des AA pour prendre connaissance des modalités d’évaluation spéciales Covid-19 éventuellement prévues pour la fin du Q3

CodeTypeResponsable Coordonnées
du service
Enseignant(s)
US-B2-SCMATH-812-MUE optionnelleMENS TomS852 - Génie Logiciel
  • MENS Tom

Langue
d’enseignement
Langue
d’évaluation
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CréditsPondération Période
d’enseignement
  • Français
Français150150033.001er quadrimestre

Code(s) d’AAActivité(s) d’apprentissage (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
d’enseignement
Pondération
S-INFO-803Programmation fonctionnelle1501500Q1100.00%

Unité d'enseignement

Objectifs par rapport aux acquis d'apprentissage du programme

  • Comprendre et produire des raisonnements rigoureux en mathématiques.
    • 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

À 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, principalement en utilisant le langage de programmation Scheme.

Contenu de l'UE

La programmation fonctionnelle est un paradigme de programmation basé sur la notion des fonctions mathématiques. Dans ce cours nous étudierons:
- L'historique et l'état de l'art de la programmation fonctionnelle.
- Les fondements théoriques de la programmation fonctionnelle, notamment le lambda calcul.
- Les concepts et structures de contrôle et de données en programmation fonctionnelle.
- La syntaxe et la sémantique du langages de programmation Scheme.
- L'importance de la programmation fonctionnelle dans les langages des programmation contemporains.

Compétences préalables

Avoir une connaissance de base de la 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

AATypes d'activités
S-INFO-803
  • Cours magistraux
  • Conférences
  • Préparations, travaux, recherches d'information

Mode d'enseignement

AAMode d'enseignement
S-INFO-803
  • Face à face

Supports principaux

AA
S-INFO-803

Supports principaux non reproductibles

AASupports principaux non reproductibles
S-INFO-803Tous 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

AASupport complémentaires non reproductibles
S-INFO-803Sans objet

Autres références conseillées

AAAutres références conseillées
S-INFO-803- H. Abelson, G.J. Sussman and J. Sussman. Structure and Interpretation of Computer Programs, MIT Press, 1984
- Jacques Chazarain. Programmer avec Scheme: De la pratique à la théorie, Vuibert, 1996.

Reports des notes d'AA d'une année à l'autre

AAReports des notes d'AA d'une année à l'autre
S-INFO-803Non autorisé
(*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
Date de génération : 09/07/2021
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be