Bonuspunkte - ein Uebunsblatt, drei Praxisaufgaben

Uebunsblatt: 9.12.2022 bis 15.12.2022 (kann abweichen)

Skripum zur Vorlesung ist nicht 100% aktuell, aber trotzdem gut.

Vorlesungen werden aufgezeichnet, Uebungen aber nicht

Altklausuren: https://formal.kastel.kit.edu/teaching/altklausuren/altklausuren.phtml