Beweistechniken (WS 13/14)
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 Sebastian Wild betreut.
Übungsanmeldung
Teilnahme und Punkte werden in OLAT verwaltet. Falls Sie noch nicht angemeldet sind (auch mit alter Zulassung!), melden Sie sich bitte bei uns.
Termine
Es gibt zwei Vorlesungtermine, beide in der ersten Vorlesungswoche, in der die Inhalte vorgestellt werden.
- Dienstag, 22.10.2012 08:15 - 09:45 Uhr in Raum 13-222
- Freitag, 25.10.2012 08:15 - 09:45 Uhr in Raum 42-110
Die Inhalte finden Sie ebenfalls im Skript zur Vorlesung (Download unten).
Zur Besprechung der Übungsaufgaben gibt es ab dem 01.11.2012 eine wöchentliche Saalübung
- freitags, 08:15 - 09:45 Uhr in Raum 42-110.
! Ersatztermin für 1.11. (Allerheiligen): Montag, 04.11. um 08:15 Uhr in 11-207.
Ü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.