Related lectures (7)
Relational Semantics of Loops
Explores the relational semantics of loops in programs and the mathematical interpretation of loop structures.
Loop Semantics Example
Explores loop semantics, demonstrating how to systematically compute the meaning of a while loop.
Human-Computer Interaction: Synthesis
Explores the relevance of styles in human-computer interaction, visual perception, cognition, usability testing, games, data visualization, accessibility, extended reality, and more.

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.