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

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

CodeTypeResponsable Coordonnées
du service
Enseignant(s)
US-B3-SCINFO-012-MUE ObligatoireMENS 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

  • 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 UE

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, 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.

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.
Cours prérequis:
- Bloc 1, Programmation et Algorithmique I, US-B1-SCINFO-007-M
- Bloc 1, Programmation et Algorithmique II, US-B1-SCINFO-008-M

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-803Autorisé
(*) 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 : 13/07/2020
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be