 | | |
| INFO0054-1 | Programmation fonctionnelle
|
|
| Durée : | 30h Th, 30h Pr |
|
| Nombre de crédits : |
| Bachelier en sciences de l'ingénieur, orientation ingénieur civil, 3e année | | Deuxième quadrimestre | | 5 |
|
| Bachelier en sciences informatiques, 3e année | | Deuxième quadrimestre | | 6 |
|
| Année préparatoire au master en sciences informatiques | | Deuxième quadrimestre | | 6 |
|
| Master en ingénieur civil électricien, à finalité approfondie, 1re année | | Deuxième quadrimestre | | 5 |
|
| Master en ingénieur civil en informatique, à finalité approfondie, 1re année | | Deuxième quadrimestre | | 5 |
|
| Master en ingénieur civil électricien, à finalité spécialisée en technologies durables en automobile, 1re année | | Deuxième quadrimestre | | 5 |
|
| Master en ingénieur civil électricien, à finalité spécialisée en gestion, 1re année | | Deuxième quadrimestre | | 5 |
|
| Master en ingénieur civil en informatique, à finalité spécialisée en gestion, 1re année | | Deuxième quadrimestre | | 5 |
|
| Master en linguistique, à finalité approfondie, 1re année | | Deuxième quadrimestre | | 10 |
|
| Master en sciences mathématiques, à finalité approfondie, 1re année | | Deuxième quadrimestre | | 8 |
|
| Master en sciences mathématiques, à finalité didactique, 1re année | | Deuxième quadrimestre | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée en gestion, 1re année | | Deuxième quadrimestre | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 1re année | | Deuxième quadrimestre | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 2e année | | Deuxième quadrimestre | | 6 |
|
| Master en sciences mathématiques, à finalité spécialisée en statistiques, 1re année | | Deuxième quadrimestre | | 8 |
|
| Master en sciences mathématiques, à finalité spécialisée, 1re année | | Deuxième quadrimestre | | 8 |
|
| Master en sciences mathématiques | | Deuxième quadrimestre | | 8 |
|
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
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 semestre, 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 %). |
|
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) |
|
|
| |
