|
 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
|
Diplôme d'études approfondies en informatique
|
| |
Valeurs ECTS de l'activité
|
FSA3DS/IN
|
Diplôme d'études spécialisées en sciences appliquées (informatique)
|
(4 ECTS)
| |
|
INFO23
|
Troisième année du programme conduisant au grade d'ingénieur civil informaticien
|
(4 ECTS)
| |
|
Valeur ECTS par défaut
|
(4 ECTS)
| |
|
