|
 Objectifs
* concevoir et réaliser un algorithme correct et efficace pour un problème donné
* comprendre, choisir et mettre en oeuvre des méthodes de conception de programmes afin de réaliser et de démontrer l'exactitude d'algorithmes complexes.
Cahier des charges
- 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).
Résumé
* Apprentissage actif par résolution de problèmes en petits groupes
* Les problèmes traités illustreront les principes et structures de données vus au cours "Algorithmique et Structures de Données"
Autres informations du cahier des charges
* Pré-requis:
LINF2121 Algorithmique et structures de données P. Dupont
* Références
Ouvrage(s) recommandé(s)
Liskov, B.., "Program Development in Java: Abstraction, Specification, and Object-Oriented Design." , Addison-Wesley, 2001.. Goodrich M.T. & Tamassia R, "Data Structure and Algorithms in Java." , Second Edition, John Wiley & Sons, 1997.
* Remarque: voir aussi : http://www.ucl.ac.be/etudes/cours/ingi2122.html
Le cours INGI2122 est mentionné dans les programmes suivants :
|
FSA2DC
|
Diplôme d'études complémentaires en sciences appliquées
|
| |
|
INFO2
|
Ingénieur civil informaticien
|
| |
Valeurs ECTS de l'activité
|
ECGE3DS/IG
|
Diplôme d'études spécialisées en économie et gestion (informatique de gestion - Master in Information Systems)
|
(5 ECTS)
| |
|
FSA2DC/AP
|
Diplôme d'études complémentaires en sciences appliquées (algorithmique et programmation)
|
(5 ECTS)
|
Obligatoire
|
|
FSA2DC/IN
|
Diplôme d'études complémentaires en sciences appliquées (informatique)
|
(5 ECTS)
| |
|
INFO21
|
Première année du programme conduisant au grade d'ingénieur civil informaticien
|
(5 ECTS)
|
Obligatoire
|
|
MAP23
|
Troisième année du programme conduisant au grade d'ingénieur civil en mathématiques appliquées
|
(5 ECTS)
| |
|
Valeur ECTS par défaut
|
(5 ECTS)
| |
|
