Méthodes de conception de programmes [ LINGI1122 ]
5.0 crédits ECTS
30.0 h + 30.0 h
2q
| Enseignant(s) |
Pecheur Charles ;
|
Langue
d'enseignement: |
Français
|
| Lieu de l'activité |
Louvain-la-Neuve
|
Ressources
en ligne |
> https://icampus.uclouvain.be/claroline/course/index.php?cid=INGI2122
|
| Préalables |
Au sein du programme SINF1BA : LSINF1225
Au sein du programme FSA1BA : LFSAB1101, LFSAB1102, LFSAB120&, LFSAB1202, FSAB1301, LFSAB1401
Le(s) prérequis de cette Unité d’enseignement (UE) sont précisés
à la fin de cette fiche, en regard des programmes/formations qui
proposent cette UE.
|
| 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 |
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 :
-
AA1.1, AA1.2
-
AA2.4, AA2.7
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
-
imaginer un algorithme correct et efficace pour résoudre un problème donné
-
créer et spécifier la conception d'un produit logiciel à l'aide d'une méthodologie de conception des programmes et de notations appropriées
-
démontrer l'exactitude d'algorithmes complexes
Les étudiants auront développé des compétences méthodologiques et opérationnelles. En particulier, ils ont développé leur capacité à
-
utiliser une approche rigoureuse pour assurer l'exactitude du résultat, en utilisant des outils mathématiques
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) ».
|
Modes d'évaluation
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%).
|
| 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
|
| 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).
|
| Bibliographie |
-
syllabus en ligne
-
énoncés d'exercices en ligne
|
| Autres infos |
Préalables:
-
SINF1225 expérience en programmation de logiciels de taille réduite
-
SINF1121 algorithmique et structures de données
-
INGI1101 raisonnement logique et raisonnement par récurrence
|
Faculté ou entité
en charge |
> INFO
|
|
|
<<< Page précédente
|
