AG Algorithmen und Komplexität
>

Sommersemester 2017

Sebastian bietet im Sommersemester 2017 die Vorlesungen Advanced Algorithmics an.


 

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.








Frühere Iterationen