Concept
Invariant
Cours associés (11)
BIO-692: Symmetry and Conservation in the Cell
This course shows students how the physical principles of conservation, symmetry, and locality influence the dynamics of living organisms at the molecular and cellular level. Computer simulations are
MATH-416: Abstract analysis on groups
We study analytic phenomena on groups, notably paradoxical decompositions, fixed point properties and harmonic functions.
MATH-124: Geometry for architects I
Ce cours entend exposer les fondements de la géométrie à un triple titre :
1/ de technique mathématique essentielle au processus de conception du projet,
2/ d'objet privilégié des logiciels de concept
MATH-506: Topology IV.b - cohomology rings
Singular 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
PHYS-739: Conformal Field theory and Gravity
This course is an introduction to holography, the modern approach to quantum gravity.
COM-502: Dynamical system theory for engineers
Linear and nonlinear dynamical systems are found in all fields of science and engineering. After a short review of linear system theory, the class will explain and develop the main tools for the quali
PHYS-427: Relativity and cosmology I
Introduce the students to general relativity and its classical tests.
PHYS-428: Relativity and cosmology II
This course is the basic introduction to modern cosmology. It introduces students to the main concepts and formalism of cosmology, the observational status of Hot Big Bang theory
and discusses major
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
CS-250: Algorithms I
The students learn the theory and practice of basic concepts and techniques in algorithms. The course covers mathematical induction, techniques for analyzing algorithms, elementary data structures, ma