Méthodes de conception de programmes [ LINGI1122 ]

• 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)

• 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

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

• examen écrit
• projet ou test durant le quadrimestre

• 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

• 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).

• syllabus en ligne
• énoncés d'exercices en ligne