EE-348: ElectroacousticsCe cours a pour objectif de former les étudiants de section Génie Electrique et Electronique à la conception de systèmes acoustiques, à l'aide d'un formalisme basé sur l'électrotechnique. A la fin du
MATH-106(e): Analysis IIÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs
variables.
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
MATH-488: Topology IV.a -Algebraic K-theoryAlgebraic K-theory, which to any ring R associates a sequence of groups, can be viewed as a theory of linear algebra over an arbitrary ring. We will study in detail the first two of these groups and a
HUM-438: China: the rebirth of a great power IIApprocher la Chine contemporaine par le biais des phénomènes qui émergent à l'international permet non seulement de s'intéresser à l'impact sur le reste du monde de cette Chine qui s'internationalise
CS-450: Algorithms IIA first graduate course in algorithms, this course assumes minimal background, but moves rapidly. The objective is to learn the main techniques of algorithm analysis and design, while building a reper
MSE-101(a): Materials:from chemistry to propertiesCe cours permet l'acquisition des notions essentielles relatives à la structure de la matière, aux équilibres et à la réactivité chimique en liaison avec les propriétés mécaniques, thermiques, électri
HUM-452: Myths of the ancient Mediterranean Sea IILe cours explore les mythes et les textes fondateurs des cultures antiques (Monde biblique, Grèce, Rome, Egypte). Explorant leurs significations, leurs réceptions, il s'agit de dérouler une histoire d
