To be added.
Geblockte Einfuehrungsvorlesung (im Gesamtumfang von knapp 2h/2.5ECTS), danach umfangreiche individuell auszuarbeitende Aufgaben zumArgumentieren und Beweisen (im Unfang von 3.5 ECTS). AusfuehrlichePraesentation der Beweise (alle Loesungen durch jedeTeilnehmerin/jeden Teilnehmer), exemplarische Ausarbeitung einigerLoesungen, Korrektur durch Studierende und zusaetzlich durch LVA Leiter/Tutoren zwecksRueckmeldung. Leistungsermittlung auf Grund der Praesentationen, der Qualitaet der Reviews und der berichtigten schriftlichen Ausarbeitungen (saubere Handschrift oder LaTeX).
Erste Erfahrungen mit Definitionen und im Formalisieren und Beweisen.
Mathematikkenntnisse aus Algebra und Diskrete Mathematik, Rekursion als Programmiertechnik (z.B. aus Algorithmen und Datenstrukturen 1).