Ein Kurs Zum Beweisen in Der Sprache Der Naiven Mengenlehre Und Erste Empirische Ergebnisse

Der Kurs ist konzipiert fur Schuler der Sekundarstufe II mit Mathematik als Leistungsfach. In ihm lernen die Schuler sowohl die mengentheoretische Sprache mit ihren fundamentalen Begriffsbildungen wie auch ein Schlussregelsystem kennen. Zusatzlich werden noch beweisstrategische Tips und gewisse Standardformen von Beweisen vermittelt. Ziel des Kurses ist es, dass der Schuler einen Standardbeweis korrekt fuhren oder einen vorgelegten Beweis auf Korrektheit hin uberprufen kann."