IFT 6172 - Sémantique des langages de programmation

No DE COURS

IFT 6172

Campus

Montréal

Crédits

4.0

Cycle

Cycles supérieurs

Département

Informatique et rech. opér.

Faculté

Faculté des arts et des sciences

Période

Horaire de jour

Trimestre

Automne 2022,

Description

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.

Ce cours est offert dans ces programmes d'études

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 2022

Section A

Jours Heures Dates de début / fin
Mardi De 12 h 30 à 14 h 29 Du 06/09/2022 au 18/10/2022
Lundi De 10 h 30 à 12 h 29 Du 12/09/2022 au 03/10/2022
Lundi De 10 h 30 à 12 h 29 Du 17/10/2022 au 17/10/2022
Lundi De 10 h 30 à 12 h 29 Du 31/10/2022 au 05/12/2022
Mardi De 12 h 30 à 14 h 29 Du 01/11/2022 au 06/12/2022
Comment consulter les horaires dans le Centre étudiant
Choisir l'établissement et le trimestre Saisir la matière et le numéro Cliquer sur le bouton rechercher
Choisissez l'Université de Montréal dans la liste déroulante de l'établissement et choisissez le trimestre pour lequel vous souhaitez connaître l'horaire. Dans le champ « Sélectionnez matière », entrez les trois premières lettres du sigle de cours. Entrez ensuite les quatre à cinq chiffres du sigle du cours. Par exemple, pour le cours ORA 1125, entrez d'abord ORA, puis 1125. Cliquez sur le bouton « Rechercher » pour obtenir l'horaire de ce cours au trimestre souhaité.
  Trouvez l'horaire d'un cours