 |  |
| INFO0054-1 | Programmation fonctionnelle
 |
 |
| Durée : | 30h Th, 30h Pr |
 |
| Crédits/ECTS : |
| 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 |  | Toute l'année |  | 8 |
 |
| Master en sciences mathématiques, à finalité didactique, 1re année |  | Toute l'année |  | 8 |
 |
| Master en sciences mathématiques, à finalité spécialisée en gestion, 1re année |  | Toute l'année |  | 8 |
 |
| Master en sciences mathématiques, à finalité spécialisée en informatique, 1re année |  | Toute l'année |  | 8 |
 |
| Master en sciences mathématiques, à finalité spécialisée en informatique, 2e année |  | Toute l'année |  | 6 |
 |
| Master en sciences mathématiques, à finalité spécialisée, 1re année |  | Toute l'année |  | 8 |
 |
| Master en sciences mathématiques |  | Toute l'année |  | 8 |
 |
|
 |
| Titulaire(s) : | Pascal Gribomont |
 |
| Langue : | Langue française |
 |
| Aperçu général : | 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. |
 |
| Objectif du cours : | Le but de ce cours est l'assimilation de la programmation fonctionnelle et sa mise en oeuvre concrète à l'aide d'exercices de programmation variés. |
 |
| Pré-requis : | Aucun. |
 |
| Travaux pratiques : | Séances d'exercices hebdomadaires. |
 |
| Organisation : | 2nd semestre, le jeudi à 8h30 (B28, local R7). |
 |
| Notes de cours : | P. Gribomont, Eléments de programmation en Scheme, Dunod, Paris, 2000. |
 |
| Evaluation : | Trois interrogations écrites (30 %), un travail (20 %), un examen oral (50 %). |
 |
| Contacts : | Pascal Gribomont, gribomont@montefiore.ulg.ac.be
Stéphane Lens, lens@montefiore.ulg.ac.be (pfontain@montefiore.ulg.ac.be) |
 |
| Remarques : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
 |

|
|  |