Programme d'études 2002-2003 > FSA > INGI2122
INGI2122Méthodes de conception de programmes

[30h+30h]1q

Enseignant(s) :

Yves Deville, Pierre Dupont, Baudouin Le Charlier (coord.), Kim Mens

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)


Programme d'études 2002-2003 > FSA > INGI2122

Recherche - Aide - Renseignements généraux

[UCL] [Site Web Facultaire] [Pointeurs utiles]

Responsable : Jean-Louis Marchand
Contact : secretaire@fsa.ucl.ac.be