An die Sek II-Mathematik-Lehrer: Ist denn inzwischen wenigsten ein bisschen "logische Beweisführungen und formal korrekte mathematische Notation" Teil des Curriculums, sodass die Schüler nicht total geschockt sind, wenn sie damit an den Hochschulen konfrontiert sind?
Für NRW: logische Beweisführung wird nicht thematisiert, Beweise kommen eher am Rand vor und sollen eher nachvollzogen als selbst geführt werden. Wie man einen Beweis führt, wird auch idR nicht gelehrt. Auf Formalia allgemein wird und soll schon geachtet werden, ist natürlich auch immer Ermessenssache der Lehrkraft, inwieweit das bepunktet wird.