INF2160 Paradigmes de programmation (3 cr.)
Sommaire de cette page
Description
Présenter les concepts fondamentaux de langages de programmation modernes. Comprendre les possibilités et limites des divers types de langages. Familiariser l'étudiant avec différents paradigmes de programmation et favoriser l'acquisition de nouvelles techniques et stratégies de programmation. Étude des paradigmes de programmation fonctionnel et logique. Revue des principes de programmation fonctionnelle. Stratégies d'évaluation des arguments. Polymorphisme et déduction des types. Fonctions d'ordre supérieur. Efficacité et optimisation. Revue des principes de programmation logique. Forme clausale de la logique du premier ordre et clauses de Horn. Unification et résolution. Le problème de la négation. Applications. Ce cours comporte une séance obligatoire de laboratoire (2 heures).
Préalables
INF1130 Mathématiques pour informaticien ou MAT3162 Mathématiques algorithmiques ; INF2120 Programmation II