 | | |
| 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 civil, 3e année | | 5 |
|
| Bachelier en sciences informatiques, 3e année | | 6 |
|
| Année préparatoire au master en sciences informatiques | | 6 |
|
| Master en ingénieur civil en informatique, à finalité approfondie, 1re année | | 5 |
|
| Master en ingénieur civil en informatique, à finalité spécialisée en gestion, 1re année | | 5 |
|
| Master en linguistique, à finalité approfondie, 1re année | | 10 |
|
| Master en sciences mathématiques, à finalité approfondie, 1re année | | 8 |
|
| Master en sciences mathématiques, à finalité didactique, 1re année | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée en gestion, 1re année | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 1re année | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 2e année | | 6 |
|
| Master en sciences mathématiques, à finalité spécialisée en statistique, 1re année | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée, 1re année | | 8 |
|
| Master en sciences mathématiques | | 8 |
|
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
Organisation et évaluation :
|
| Enseignement au deuxième quadrimestre |
|
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. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| 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) |
|
