<- Archives UCL - Programme d'études ->



Méthodes de conception de programmes [ LINGI1122 ]


5.0 crédits ECTS  30.0 h + 30.0 h   2q 

Enseignant(s) Vander Meulen José ;
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

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 :

  • S1.I5
  • S2.2-3

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

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
Cycle et année
d'étude
> Master [120] bioingénieur : sciences agronomiques
> Master [120] bioingénieur : sciences et technologies de l'environnement
> Master [120] bioingénieur : gestion des forêts et des espaces naturels
> Master [120] bioingénieur : chimie et bio-industries
> Année d'études préparatoire au master en sciences informatiques
> Bachelier en sciences de l'ingénieur, orientation ingénieur civil
> Bachelier en sciences économiques et de gestion
> Bachelier en sciences mathématiques
> Bachelier en sciences informatiques
Faculté ou entité
en charge
> INFO


<<< Page précédente