IFT459 - Concepts de langages de programmation

À noter
Ce cours n'est plus offert à l'inscription depuis le 31 août 2007.

Sommaire

Cycle
1er cycle
Crédits
3 crédits
Durée
1 trimestre
Faculté/Centre
Faculté des sciences
Cible(s) de formation

Connaître les concepts théoriques et pratiques des langages de programmation; apprendre à concevoir des programmes dans différents types de langages de programmation; s'initier aux langages de spécification et à la programmation automatique.

Contenu

Éléments d'un langage de programmation. Programmation procédurale. Programmation fonctionnelle. Programmation orientée objets: types abstraits de données, objets, classes, classes génériques, héritage. Programmation logique : clauses, unification, instantiation, contrôle. Programmation parallèle : processus, synchronisation, communication. Langages de spécification basés sur la logique du premier ordre et sur la théorie des ensembles. Programmation automatique.

Antérieure(s)

IFT359