IFT459 - Concepts de langages de programmation
Présentation
Sommaire
- Cycle
- 1er cycle
- Crédits
- 3 crédits
- 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.