CH-110: Advanced general chemistry ILe cours comporte deux parties. Les bases de la thermodynamique des équilibres et de la cinétique des réactions sont introduites dans l'une d'elles. Les premières notions de chimie quantique sur les é
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
PHYS-114: General physics : electromagnetismLe cours traite des concepts de l'électromagnétisme, avec le support d'expériences. Les sujets traités inclus l'électrostatique, le courant électrique et circuits, la magnétostatique, l'induction élec
ME-104: Introduction to structural mechanicsThe student will acquire the basis for the analysis of static structures and deformation of simple structural elements. The focus is given to problem-solving skills in the context of engineering desig
MATH-106(f): Analysis IIÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs
variables.