Enseignants

  • Ryan Kavanagh. PK-4330

Ressources officielles

Le cours INF889J (sigle pour les programmes en informatique) est jumelé au cours INF8340 (sigle pour les programmes en mathématiques).

Objectifs d’apprentissage du cours INF889J / INF8340

Ce cours présente les concepts fondamentaux des langages de programmation et cherche à préparer les étudiants pour entamer un projet de recherche dans ce domaine. À la fin de ce cours, les étudiants devraient pouvoir:

  1. définir de façon rigoureuse un langage de programmation;
  2. raisonner au sujet d’un langage de programmation et démontrer ses propriétés de sûreté; et
  3. reconnaître et raisonner au sujet de diverses abstractions fondamentales et de pointe offertes par les langages de programmation courants ou spécialisés.

Évaluations et échéancier des rendus

Description Pondération Échéance
Résolution de problèmes 60% Toute la session
Participation active 5% Toute la session
Justification du choix d’article 5% Semaine 9
Plan de présentation 10% Semaine 12
Présentation orale 20% Semaine 15