Induktion und Rekursion

Diese Unterlagen entstanden in den Jahren 2022 / 2023 im Rahmen einer mentorierten Arbeit im Lehrdiplom Informatik an der ETH Zürich. Der Fokus dieses Textes liegt auf der Entwicklung eines fundierten Verständnisses der Prinzipien der vollständigen Induktion und der rekursiven Definition. Wir zeigen auf, wie diese beiden Prinzipien zusammenhängen und wozu sie nützlich sind.