Sitzung | ||
MS 19: Schulmathematik: Forschungsfelder zum Argumentieren, Begründen und Beweisen
| ||
Präsentationen | ||
Sprache, Logik und Beweisen Universität des Saarlandes, Deutschland Im Beitrag wird das Zusammenspiel von Sprache und Logik im Rahmen des Beweisens im Unterricht der Primar- und Sekundarstufe betrachtet. Zunächst werden sprachliche und logische Besonderheiten im Mathematikunterricht näher beleuchtet und anhand der Mehrdeutigkeit logischer Operatoren exemplarisch veranschaulicht. Zur parallelen Behandlung von Logik und Beweisen wird die informatisch-algorithmische Sprachform vorgeschlagen. Eine mögliche Konkretisierung mathematischer Logik im Rahmen des Beweisens von Teilbarkeitsregeln durch Programmierung wird abschließend vorgestellt. |