MATH-506: Topology IV.b - cohomology ringsSingular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
CS-119(h): Information, Computation, CommunicationL'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence
HUM-467: Picture history IILe séminaire propose un travail collectif de recherche, de réflexion ou de projet en lien à l'histoire des expositions universelles, à leurs formes et à leurs enjeux de 1851 à aujourd'hui.
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
BIO-392: OncologyThis course provides a comprehensive overview of the biology of cancer, illustrating the mechanisms that cancer cells use to grow and disseminate at the expense of normal tissues and organs.