Concept
Relation d'équivalence
Cours associés (31)
MATH-211: Algebra II - groups
This course deals with group theory, with particular emphasis on group actions and notions of category theory.
MATH-310: Algebra
This is an introduction to modern algebra: groups, rings and fields.
MATH-436: Homotopical algebra
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
COM-516: Markov chains and algorithmic applications
The study of random walks finds many applications in computer science and communications. The goal of the course is to get familiar with the theory of random walks, and to get an overview of some appl
CS-550: Formal verification
We 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-113: Algebra I - fundamental structures
Le but de ce cours est d'introduire et d'étudier les notions de base de l'algèbre abstraite.
MATH-101(d): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
MATH-110(a): Advanced linear algebra I - vector spaces
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire (pour les futurs mathématiciens) et de démontrer rigoureusement les résultats principaux de ce sujet.
MATH-215: Algebra III - rings and fields
C'est un cours introductoire dans la théorie d'anneau et de corps.