Publisher's Synopsis
Der Kurs ist konzipiert fuer Schueler der Sekundarstufe II mit Mathematik als Leistungsfach. In ihm lernen die Schueler sowohl die mengentheoretische Sprache mit ihren fundamentalen Begriffsbildungen wie auch ein Schlussregelsystem kennen. Zusaetzlich werden noch beweisstrategische Tips und gewisse Standardformen von Beweisen vermittelt. Ziel des Kurses ist es, dass der Schueler einen Standardbeweis korrekt fuehren oder einen vorgelegten Beweis auf Korrektheit hin ueberpruefen kann.
