Lernprojekt Beweisbaustelle (Junk / Budday)

Die Veranstaltung richtet sich an alle, die über die Hintergründe des mathematischen Beweisens genauer nachdenken und ihre eigene Beweiskompetenz stärken wollen. Dazu wird ein systematisches Beweiskonzept vorgestellt und elementare Beweise damit geübt. Zur Erleichterung des Selbsstudiums können die Beweisversuche auch automatisch durch ein Computerprogramm überprüft werden. Durch einen regelmäßig angebotenen Kurzeinstieg ist es möglich, auch jederzeit nach Semesterbeginn an der Veranstaltung teilzunehmen. Dies ist besonders sinnvoll für die Studierenden des ersten Semesters, da die Kenntnis eines gewissen Spektrums von Beweisbeispielen und die damit einhergehende Grunderfahrung hilfreich ist, immer wieder auftretende Muster in Beweisen zu erkennen (z.B. 4 Wochen nach Semesterbeginn). Studierende höherer Semester sind eingeladen, an der Weiterentwicklung des Matlab Programms zur Beweiskontrolle mitzuarbeiten.