Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Raisonnement déductif

Cours associés (27)

ENG-484: Droit de l'architecte, approfondissements: la réalisation d'une construction

Ce cours a pour objet l'approfondissement des connaissances acquises dans le cours d'introduction. Sous un angle essentiellement pratique, il analyse les problèmes qui peuvent surgir au cours d'une construction. Il entend familiariser les étudiant-es avec ...

AR-516: The adventures of rationalism

The course traces the recurring reemergence of a rational approach in design and building form throughout the history of Western architecture, from the Middle Ages to the late 20th century. ...

AR-301(ac): Studio BA5 (Bosshard et Vaquer)

The term sauvegarde is approached holistically from the side of care with the will to assist, protect, and therefore save. Design proposals grow out of the will to understand, looking for an overall critical view on the preexisting; built structure as well ...

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 (iv) ethical agency. Students will, at the same time, de ...

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! ...

MATH-101(de): Analyse I (allemand)

Es werden die Grundlagen der Analysis sowie der Differential- und Integralrechnung von Funktionen einer reellen Veränderlichen erarbeitet. ...

AR-301(t): Studio BA5 (Kueng et Caputo)

La Vita è Bella engages with the question of how people appropriate their surroundings in the private and public sphere. How do we adopt and intervene in this world? By means of built interventions, 1:1 prototypes and collective activities, we investigate ...