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
  • 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]
ET
  • [INF2120 Programmation II]

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)

Enseignant

  • Roger Nkambou

Horaire et lieu

Ce cours est donné en présentiel.
Jour Date Heure Lieu Type
Lundi Du 8 janvier 2024
au 28 avril 2024
De 18h00 à 21h00 SB-M230 | Campus de Montréal Cours magistral
Mardi Du 8 janvier 2024
au 28 avril 2024
De 18h00 à 20h00 PK-S1570 | Campus de Montréal Atelier
Mardi Du 8 janvier 2024
au 28 avril 2024
De 18h00 à 20h00 PK-S1560 | Campus de Montréal Atelier

Remarque

  • CE COURS REMPLACE INF2160

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)

Enseignant

  • Quentin Stiévenart

Horaire et lieu

Ce cours est donné en présentiel.
Jour Date Heure Lieu Type
Mardi Du 29 avril 2024
au 9 août 2024
De 13h30 à 16h30 Cours magistral
Jeudi Du 29 avril 2024
au 9 août 2024
De 13h30 à 15h30 Laboratoire
Jeudi Du 29 avril 2024
au 9 août 2024
De 13h30 à 15h30 Laboratoire

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)

Enseignant

  • Non disponible

Horaire et lieu

Ce cours est donné en présentiel.
Jour Date Heure Lieu Type
Mardi Du 3 septembre 2024
au 18 décembre 2024
De 13h30 à 16h30 Cours magistral
Jeudi Du 3 septembre 2024
au 18 décembre 2024
De 13h30 à 15h30 PK-S1555 | Campus de Montréal Atelier
Jeudi Du 3 septembre 2024
au 18 décembre 2024
De 13h30 à 15h30 PK-S1580 | Campus de Montréal Atelier
Retour en haut de page