Programme des cours 2015-2016
Version 2014-2015
INFO0054-1  
Programmation fonctionnelle
Durée :
30h Th, 25h Pr, 15h Proj.
Nombre de crédits :
Bachelier en sciences de l'ingénieur, orientation ingénieur civil5
Bachelier en sciences informatiques6
Master en linguistique, à finalité10
Master en sciences mathématiques, à finalité6
Master en sciences mathématiques, à finalité8
Master en sciences mathématiques8
Nom du professeur :
Pascal Gribomont
Langue(s) du cours :
Langue française
Organisation et évaluation :
Enseignement au deuxième quadrimestre
Unités d'enseignement prérequises et corequises :
Les unités prerequises ou corequis sont présentées au sein de chaque programme
Contenus du cours :
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 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) du cours :
Ecrire des programmes fonctionnels de bonne qualité et bien documentés. Utiliser le paradigme fonctionnel pour résoudre des problèmes variés.
Savoirs et compétences prérequises :
Aucun.
Activités d'apprentissage prévues et méthodes d'enseignement :
Séances d'exercices hebdomadaires.
Mode d'enseignement (présentiel ; enseignement à distance) :
2nd quadrimestre, le jeudi à 8h30 (B28, local R7).
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 :
Trois interrogations écrites (30 %), un travail (20 %), un examen oral (50 %).
Stage(s) :
Remarques organisationnelles :
http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html
Contacts :
Pascal Gribomont,
gribomont@montefiore.ulg.ac.be

Stéphane Lens,
lens@montefiore.ulg.ac.be
(pfontain@montefiore.ulg.ac.be)