COURS // INF2160 Paradigmes de programmation
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- Cycle : 1
- Type de cours : Magistral
- Nombre de crédits : 3
- Discipline : Informatique
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 académiques
[INF1130 Mathématiques pour informaticien] ou [MAT1060 Mathématiques algorithmiques] ; [INF2120 Programmation II]