Admission

Faculté des arts et des sciences, Informatique et rech. opér.

Sémantique des langages de programmation

Cycles supérieurs IFT 6172

Historique. Définitions de style opératoire (Vienne), dénotationnel (Scott) et déductif (Hoare, Dijkstra). Notions d'algèbre universelle, théorie des domaines, lambda-calcul typé. Illustrations pratiques. Développements récents.

  • Campus

    Montréal

  • Trimestres

    Automne 2024

  • Crédits

    4.0

  • Période

    Horaire de jour

Ce cours est offert dans ces programmes d'études
Baccalauréat
Informatique 1-175-1-0
90 crédits
Temps plein , Temps partiel
Maîtrise
Informatique 2-175-1-0
45 crédits
Temps plein , Demi-temps

Aperçu des horaires

Pour obtenir les renseignements les plus à jour concernant l'horaire de ce cours, visitez le Centre étudiant. Si vous éprouvez des difficultés à naviguer dans le Centre étudiant, communiquez avec notre équipe.

Automne 2024

Section A

Jours Heures Dates de début / fin
MerMercredi De 14 h 30 à 16 h 29 Du 03/09/2024 au 18/10/2024
LunLundi De 14 h 30 à 16 h 29 Du 03/09/2024 au 11/10/2024
MerMercredi De 14 h 30 à 16 h 29 Du 28/10/2024 au 11/12/2024
LunLundi De 14 h 30 à 16 h 29 Du 28/10/2024 au 09/12/2024

  1. Accédez à la page Critères de recherche, en prenant soin de noter le sigle de cours (ex. SVS 1101)
  2. Choisissez le trimestre souhaité
  3. Dans le champ Matière, entrez les 3 premières lettres du sigle (ex. SVS)
  4. Dans le champ au-dessous, entrez les 4 ou 5 chiffres du sigle (ex. 1101)
  5. Cliquez sur Rechercher pour obtenir l’horaire du cours et autres informations utiles

Trouvez l’horaire d’un cours