This is my summary for the lecture "Informatik II" at D-ITET. It is based on the course taught by Malte Schwerhoff and Felix Friedrich in HS2021.
The up-to-date version can be downloaded here.
The summary itself was initially written by Sebastian Schweizer at D-BAUG, thank you!