2020-2021 / INFO0054-1

Programmation fonctionnelle

Durée

28h Th, 24h Pr, 15h Proj.

Nombre de crédits

 Bachelier en sciences de l'ingénieur, orientation ingénieur civil5 crédits 
 Bachelier en sciences informatiques5 crédits 
 Bachelier en sciences mathématiques6 crédits 
 Master en sciences mathématiques, à finalité6 crédits 
 Master en sciences mathématiques6 crédits 

Enseignant

Pascal Gribomont

Langue(s) de l'unité d'enseignement

Langue française

Organisation et évaluation

Enseignement au deuxième quadrimestre

Horaire

Horaire en ligne

Unités d'enseignement prérequises et corequises

Les unités prérequises ou corequises sont présentées au sein de chaque programme

Contenus de l'unité d'enseignement

Introduction générale aux notions de fonction et de procédure. Techniques de définition de fonction. Structures de données. Définition récursive de fonction, lambda-expression, lambda-calcul et programmation fonctionnelle. Récursion structurelle. Principes généraux d'induction et techniques de raisonnement associées. Comparaison : style fonctionnel et style impératif; récursion et itération. Abstraction procédurale. Objets de "première classe". Quelques techniques spéciales. Exercices: conception et réalisation de programmes, utilisation d'algorithmes classiques. On utilise le langage Scheme.

Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement

Ecrire des programmes fonctionnels de bonne qualité et bien documentés. Utiliser le paradigme fonctionnel pour résoudre des problèmes variés. Reconnaître les situations dans lesquelles l'approche fonctionnelle est plus avantageuse que l'approche impérative.

Savoirs et compétences prérequis

Cours MATH et INFO du bloc 1.
L'admissibilité des étudiants du bachelier en sciences informatiques n'ayant pas validé tous les crédits MATH du bloc 1 est déterminée individuellement.

Activités d'apprentissage prévues et méthodes d'enseignement

Exposés théoriques et séances d'exercices hebdomadaires.

Mode d'enseignement (présentiel, à distance, hybride)

2nd quadrimestre, présentiel.

Adaptations organisationnelles liées au contexte sanitaire

Les évaluations sont à distance, conformément à la note d'organisation se trouvant sur la page du cours.
  http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html

Lectures recommandées ou obligatoires et notes de cours

P. Gribomont, Eléments de programmation en Scheme, Dunod, Paris, 2000.

Modalités d'évaluation et critères

Vous trouverez ci-dessous les modalités d'évaluation envisagées pour les examens en présentiel et à distance ainsi que celle souhaitée en cas de session hybride. En fonction de l'évolution sanitaire, la modalité choisie vous sera communiquée au plus tard un mois avant le début de la session d'examen.

Toutes sessions confondues :

- En présentiel

évaluation écrite ( questions ouvertes )

- En distanciel

évaluation écrite ( questions ouvertes )

- Si évaluation en "hybride"

préférence en présentiel


Explications complémentaires:

Trois interrogations et un travail, une interrogation de rattrapage en juin, seulement pour les étudiants dont la moyenne aux trois premières interrogations est moindre que 10/20.
En seconde session seulement, examen écrit.

Stage(s)

Remarques organisationnelles

http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html

Contacts

Pascal Gribomont <gribomont@montefiore.ulg.ac.be> Jean-Michel Begon <jm.begon@uliege.be>