Lectures related to Untitled | EPFL Graph Search

Discrete Mathematics: Logic, Structures, Algorithms Log in to Mediaspace to watch this video

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Mathematics: Sets and Functions Log in to Mediaspace to watch this video

Introduces sets, functions, Cartesian products, and compositions, discussing images, preimages, and function properties.

Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

Proofs and Logic: Introduction Log in to Mediaspace to watch this video

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.