Beweis Tutorium in 90 Minuten
Martin Dirix
Dieses Tutorium ist eine 90-minütige Einführung in das mathematische Beweisen für Studenten.
Im Trainingsteil werden einfache Beweise geführt. Jeder Beweis wir zuerst formal geführt. Daraufhin wird der formale Beweis in einen Beweisgraphen übertragen, welcher die Argumentationsstruktur veranschaulicht. Diesen übertragen wir schließlich in einen Fließtextbeweis. Wir behandeln auch einfache Induktions- Fallunterscheidungs- und Widerspruchsbeweise.
Im Rezepte Teil erklären wir anhand anwendungsorientierter Rezepte, welche Möglichkeiten es in der Beweisentwicklung es gibt und wann ein Beweis vollständig abgeschlossen ist. Dabei wird eine Beweismechanik sichtbar, in welcher sich Induktions- Fallunterscheidung- und Widerspruchs-beweise einordnen lassen.
Im Formelteil werden die wichtigsten elementaren Beweisregeln nach Kategorien eingeteilt und aufgelistet. Jede Beweisregel stellen wir in Fließtextform, als Tabelle und als Graph dar. Die elementaren Beweisregeln lassen sich leicht anwenden und vereinfachen die Beweisfindung.
