Beweistechniken (WS 14/15)
Die Veranstaltung Beweistechniken ist ein Bestandteil des Moduls Entwurf und Analyse von Algorithmen für Angewandte Informatiker, die helfen soll, unterschiedliche Vorkenntnisse verschiedener Hörergruppen im Bereich der Mathematik, insbesondere dem Beweisen, anzugleichen.
Beweistechniken wird dieses Semester von Raphael Reitzig betreut.
Übungsanmeldung
Teilnahme und Punkte werden in OLAT verwaltet. Melden Sie sich also bitte dort für Beweistechniken an.
Termine
Es gibt drei Vorlesungtermine zu Beginn der Vorlesungszeit, in der die Inhalte vorgestellt werden:
- Mittwoch 29.10.2014, 15:30 – 17:00 Uhr in Raum 24-102,
- Freitag, 31.10.2014, 08:15 – 09:45 Uhr in Raum 42-110 und
- Dienstag, 04.11.2014, 15:30 – 17:00 Uhr in Raum 52-207.
Die Inhalte finden Sie ebenfalls im Skript zur Vorlesung (siehe unten).
Zur Besprechung der Übungsaufgaben gibt es ab dem 14.11.2012 eine wöchentliche Saalübung
- freitags, 08:15 – 09:45 Uhr in Raum 42-110.
Übungsblätter
Es wird voraussichtlich 6 Übungsblätter geben. Auf jedem dieser Blätter müssen 50% der Pflichtpunkte (dieses Blattes) erreicht werden, wobei aber nur die sinnvolle Bearbeitung der Aufgaben bepunktet wird. Durch die Bearbeitung freiwilliger Aufgaben können Sie zusätzliche Punkte bekommen.