Note du 29 juin 2020
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
5 crédits
30.0 h + 30.0 h
Q2
Enseignants
Pecheur Charles;
Langue
d'enseignement
d'enseignement
Français
Préalables
- Au sein du programme SINF1BA : LSINF1225
- Au sein du programme FSA1BA : LFSAB1101, LFSAB1102, LFSAB120&, LFSAB1202, FSAB1301, LFSAB1401
Thèmes abordés
- Méthodes de conception et de preuves de programmes
- Transformations de programmes et techniques d'amélioration de l'efficacité
- Schémas de programmes et classes de problèmes
Acquis
d'apprentissage
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
| 1 |
Eu égard au référentiel AA du programme « Bachelier ingénieur civil », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
Eu égard au référentiel AA du programme « Bachelier en sciences informatiques », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
Les étudiants ayant suivi avec fruit ce cours seront capables de
Les étudiants auront développé des compétences méthodologiques et opérationnelles. En particulier, ils ont développé leur capacité à
|
La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
Contenu
- Méthodes de conception et de preuves de programmes: méthodes de l'invariant, calcul wp, induction structurale
- Transformations de programmes et techniques d'amélioration de l'efficacité
- Schémas de programmes et classes de problèmes: schémas de recherche globale (rétro-parcours; sélection-et-évaluation; recherche binaire), schémas de recherche locale (stratégie vorace; recherche par gradient; recuit simulé), schémas de réduction structurelle (diviser-pour-régner, programmation dynamique; relaxation; contraintes).
Méthodes d'enseignement
- Cours magistraux chaque semaine
- Travaux pratiques où des exercices sont soumis aux étudiants pour appliquer les notions vues au cours dans des situations simples
- Projet pour mettre en pratique les techniques lors de la conception d'une application plus large
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
En juin, la note finale sera composée de l'évaluation continue (25%) et de l'examen (75%).
En septembre, la note finale sera composée uniquement de l'examen (100%).
En septembre, la note finale sera composée uniquement de l'examen (100%).
Ressources
en ligne
en ligne
https://moodleucl.uclouvain.be/course/view.php?id=9241
Support de cours
- textbook online
- statement of exercises online
Faculté ou entité
en charge
en charge
INFO
Programmes / formations proposant cette unité d'enseignement (UE)
Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
d'apprentissage
Master [120] : bioingénieur en chimie et bioindustries
Master [60] en sciences informatiques
Master [120] : bioingénieur en sciences agronomiques
Master [120] : bioingénieur en sciences et technologies de l'environnement
Master [120] en sciences informatiques
Master [120] : bioingénieur en gestion des forêts et des espaces naturels