Concept
Complete partial order
Related courses (32)
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-360: Graph theory
The course aims to introduce the basic concepts and results of modern Graph Theory with special emphasis on those topics and techniques that have proved to be applicable in theoretical computer scienc
EE-611: Linear system theory
The course covers control theory and design for linear time-invariant systems : (i) Mathematical descriptions of systems (ii) Multivariables realizations; (iii) Stability ; (iv) Controllability and Ob
MATH-201: Analysis III
Calcul différentiel et intégral.
Eléments d'analyse complexe.
MATH-213: Differential geometry I - curves and surfaces
Ce cours est une introduction à la géométrie différentielle classique des courbes et des surfaces, principalement dans le
plan et l'espace euclidien.
MATH-111(e): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
MATH-494: Topics in arithmetic geometry
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic
COM-406: Foundations of Data Science
We discuss a set of topics that are important for the understanding of modern data science but that are typically not taught in an introductory ML course. In particular we discuss fundamental ideas an
AR-302(ai): Studio BA6 (Shahbazi)
The studio of Shirana Shahbazi asks how we can imagine, reflect and depict the intangible qualities of the city and spaces. It is an attempt to shift the centre of attention and rethink value. We will
AR-402(ai): Studio MA2 (Shahbazi)
The studio of Shirana Shahbazi asks how we can imagine, reflect and depict the intangible qualities of the city and spaces. It is an attempt to shift the centre of attention and rethink value. We will