CS-411: Digital educationThis course addresses the relationship between specific technological features and the learners' cognitive processes. It also covers the methods and results of empirical studies: do student actually l
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch
CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
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 é
MATH-203(d): Analysis III (for IC)The course studies the fundamental concepts of vector analysis and Fourier analysis with a view to using them to solve multidisciplinary scientific engineering problems.
EE-611: Linear system theoryThe 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-511: Number theory II.a - Modular formsIn this course we will introduce core concepts of the theory of modular forms and consider several applications of this theory to combinatorics, harmonic analysis, and geometric optimization.
PHYS-106(b): General physics : thermodynamicsLe but du cours de Physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de pr
