Méthodes de conception de programmes [ LINGI1122 ]
5.0 crédits ECTS
30.0 h + 30.0 h
2q
| Enseignant(s) |
Le Charlier Baudouin ;
|
Langue
d'enseignement: |
Français
|
| Lieu de l'activité |
Louvain-la-Neuve
|
Ressources
en ligne |
> https://www.icampus.ucl.ac.be/claroline/course/index.php?cid=INGI1122
|
| Préalables |
- algorithmique et structures de données (tels qu'enseignés dans le cours SINF1121)
- expérience en programmation de logiciels de taille réduite (telle qu'obtenue via le cours SINF1121)
- raisonnement logique et raisonnement par récurrence (tel qu'exercé dans le cours INGI1101)
|
| 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 |
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
|
Modes d'évaluation
des acquis des étudiants |
- examen écrit
- projet ou test durant le quadrimestre
|
| 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
|
Cycle et année
d'étude |
> Bachelier en sciences de l'ingénieur, orientation ingénieur civil
> Bachelier en sciences informatiques
> Année d'études préparatoire au master en sciences informatiques
|
Faculté ou entité
en charge |
> INFO
|
<<< Page précédente
