|
 Objectifs
Familiarisation avec différents paradigmes de programmation et avec les formes spécifiques de raisonnement que nécessite la conception de programmes selon ces paradigmes.
Cahier des charges
Programmation algébrique
- concepts
- construction et vérification de programmes
- transformation et synthèse de programmes
- étude de cas
- logiciels de programmation assistée.
Programmation logique
- concepts,
- construction et vérification de programmes
- transformation et synthèse de programmes
- étude de cas
- logiciels de programmation assistée.
Résumé
L'accent est donc mis sur les méthodes de programmation plutôt que sur les langages.
Deux paradigmes sont abordés : la programmation basée sur des théories algébriques (théories équationnelles, algèbre des processus, programmation fonctionnelle, .. ) et celle basée sur la logique (en particulier : clauses de Horn, logique constructive, programmation logique par contraintes,...).
Le cours INGI2531 est mentionné dans les programmes suivants :
INFO3DA Programme conduisant au grade de diplômé d'études approfondies en informatique
|
