Concept
Raison
Cours associés (32)
CS-486: Interaction design
This course focuses on goal-directed design and interaction design, two subjects treated in depth in the Cooper book (see reference below). To practice these two methods, we propose a design challenge
HUM-425: Critical thinking I
This course will develop logical reasoning and argumentation skills to enable you to influence decision making. You will achieve this by learning how to represent and communicate your reasoning as ar
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.
HUM-351: Becoming an ethical engineer
Students will develop an understanding of the psychological and social processes of learning the following competences: (i) ethical sensitivity, (ii) ethical reasoning, (iii) ethical motivation, and (
MATH-207(d): Analysis IV
The course studies the fundamental concepts of complex analysis and Laplace analysis with a view to their use to solve multidisciplinary scientific engineering problems.
AR-616: EDAR thesis writing workshop
The workshop will equip participants with practical skills necessary to make thesis writing smoother and better organized. Main issues
covered are: getting started, structure and argumentation, time m
AR-481: Architecture in the age of acceleration
This course proposes to investigate six strategies for architecture in the age of acceleration: Acceleration, Regionalism, Participation, Transformation, Commonality and Resilience. Anchoring these st
AR-365: Theory and architectural culture
Le cours offre un résumé de la théorie et la culture architecturales depuis 1789 dans le monde occidentale. Le but est de comprendre des textes dans lesquels l'architecture est définie comme une disci
AR-366: Theory and architectural culture: exercises
Le cours offre une méthode pour discerner et comprendre les idées, les théories et les valeurs culturelles dans des bâtiments et des projets d'architecture.
CS-628: Interactive Theorem Proving CS
A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!