Cours offerts
Des cours en logique et en langages de programmation sont prévus pour les sessions suivantes à l’UQAM, à l’Université de Montréal et à l’Université McGill.
Légende #
- INFnnnn: cours offert par le Département d’informatique de l’UQAM.
- COMP nnn: cours offert par le Département d’informatique de l’Université McGill.
- (1), (2), (3): le cours est offert au premier, deuxième ou troisième cycle.
Veuillez noter que les cours aux cycles supérieurs acceptent souvent les inscriptions de personnes étudiantes du premier cycle. Veuillez consulter le descriptif du cours et les règlements de votre programme pour en savoir plus.
La plupart des sessions #
Automne 2026 #
- INF889J: Fondements pratiques des langages de programmation / INF8340: Sémantique des langages de programmation (2,3) (Ce sont deux sigles pour le même cours. Si vous êtes inscrits à un programme en mathématiques à l’UQAM, inscrivez-vous avec le sigle INF8340 pour que le cours puisse compter dans votre bloc C de cours.)
Hiver 2027 #
- INF7641: Compilation (2,3)
- COMP 594: Topics in CS: Theory 1: Foundations of Programming Languages (1,2,3)
Automne 2027 #
Cours précédents #
Hiver 2026 #
- INF889A: Analyse de programmes pour la sécurité logicielle (2,3)
- INF9340: Logique computationnelle (3)
- COMP 527: Logic and Computation (1,2,3)
Automne 2025 #
- INF7845: Principes avancés des langages à objets (2,3)
- COMP 594: Advanced Topics in Programming (Special Topic: Foundations of Programming Languages and Type Theory) (1,2,3)