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

Concept

Interpretation (logic)

Related courses (8)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

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 use formal verification tools and explain the theory and ...

ENV-630(a): EESS - CESS Seminar Course - option 1 (FALL)

Seminar course which allows students to attend, critically examine, and review civil/environmental seminar. - Practice transferable skills, including active listening and broad scientific critical thinking - Presentation and communication skills ...

ENV-630(b): EESS - CESS Seminar Course - option 2 (FALL)

ENV-630(c): EESS - CESS Seminar Course - option 1 (SPRING)

AR-301(ah): Studio BA5 (Malterre-Barthes)

"To be useful, helpful, of assistance to someone:" The "In Service of: Berre" studio reflects on the architectural and territorial project as a form of public service. It explores how architecture and design tools can engage in spatial struggles in the con ...

ENV-630(d): EESS - CESS Seminar Course - option 2 (SPRING)

MSE-231: Ceramics, structures and properties + TP

Students analyze crystal structures, point defects and phase relations in ceramic materials and understand their effect on electrical, thermal and electromechanical properties. Properties of ceramic materials are investigated experimentally and results ana ...