| Type | Filename  | Size | Date | |
|---|---|---|---|---|
| slides_2023_24 The slides of 2023-24. | 10/3/23 | |||
| slides_2022_23 The slides of 2022-23. Slides updated for 2023-24 will be gradually removed. | 10/3/23 | |||
| labs_2023_24 Files related to the mini-labs of 2023-24. | 10/3/23 | |||
| grades_2023_24 | 12/11/23 | |||
| exercises_2023_24 The study exercises of 2023-24, including the exercises to be handed-in as assignments. | 10/3/23 |
