COURS // INF6120 Programmation fonctionnelle et logique
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
Objectifs
Faire l'acquisition de nouvelles techniques et stratégies de programmation par l'apprentissage des concepts fondamentaux des langages de programmation fonctionnels et logiques. Apprécier l'apport de ces langages au développement logiciel.
Sommaire du contenu
La récursion comme méthode générale de résolution de problèmes.
Bref historique de la programmation fonctionnelle. Effet de bord, référence immuable et évaluation des expressions. Répartition par appariement de motifs. Fonctions comme argument et valeur de retour. Stratégies d'évaluation des arguments. Polymorphisme et déduction des types. Fermetures, curryage et application partielle. Fonctions d'ordre supérieur (map, reduce/fold, filter). Concurrence et parallélisme en programmation fonctionnelle.
Bref historique de la programmation déclarative et logique. Règles, inférence et clauses de Horn. Recherche par retour-arrière et déduction. Unification et résolution. Coupure et négation. Programmation par contraintes, consistance d'arc, de chemins et problèmes de satisfaction de contraintes. Comparaison des approches de programmation logique et par contraintes.
Modalité d'enseignement
Ce cours comporte une séance obligatoire de laboratoire (2 heures).
Préalables académiques
- [INF1132 Mathématiques pour l'informatique] ou [MAT1060 Mathématiques algorithmiques]
- [INF2120 Programmation II]
Horaire - Hiver 2023
Enseignant |
|
Horaire et lieu
Jour | Date | Heure | Lieu | Type |
---|---|---|---|---|
Lundi |
Du 9 janvier 2023 au 30 avril 2023 |
De 18h00 à 21h00 | SB-M210 | Campus de Montréal | Cours magistral |
Mardi |
Du 9 janvier 2023 au 30 avril 2023 |
De 18h00 à 20h00 | PK-S1570 | Campus de Montréal | Atelier |
Mardi |
Du 9 janvier 2023 au 30 avril 2023 |
De 18h00 à 20h00 | PK-S1560 | Campus de Montréal | Atelier |
Remarque |
|
Horaire - Été 2023
Enseignant |
|
Horaire et lieu
Jour | Date | Heure | Lieu | Type |
---|---|---|---|---|
Mardi |
Du 1 mai 2023 au 11 août 2023 |
De 13h30 à 16h30 | SH-2420 | Campus de Montréal | Cours magistral |
Jeudi |
Du 1 mai 2023 au 11 août 2023 |
De 13h30 à 15h30 | PK-S1570 | Campus de Montréal | Laboratoire |
Jeudi |
Du 1 mai 2023 au 11 août 2023 |
De 13h30 à 15h30 | PK-S1560 | Campus de Montréal | Laboratoire |
Horaire - Automne 2023
Enseignant |
|
Horaire et lieu
Jour | Date | Heure | Lieu | Type |
---|---|---|---|---|
Mardi |
Du 5 septembre 2023 au 20 décembre 2023 |
De 13h30 à 16h30 | Cours magistral | |
Jeudi |
Du 5 septembre 2023 au 20 décembre 2023 |
De 13h30 à 15h30 | PK-S1555 | Campus de Montréal | Atelier |
Jeudi |
Du 5 septembre 2023 au 20 décembre 2023 |
De 13h30 à 15h30 | PK-S1580 | Campus de Montréal | Atelier |