Beweistechniken (WS 12/13)

Die Veranstaltung Beweistechniken ist ein Bestandteil des Moduls Entwurf und Analyse von Algorithmen für Angewandte Informatiker, die dazu beitragen soll, die Vorkenntnisse verschiedener Hörergruppen im Bereich der Mathematik, insbesondere dem Beweisen, anzugleichen.

Beweistechniken wird dieses Semester von Sebastian Wild betreut.

Aktuelles

• Der Abgabezeitraum für Blatt 6 wird bis Montag, 3.12, 12:00 Uhr verlängert.
• Errata Blatt 5: In Aufgabe 18 soll überall m statt p stehen.

Termine

Beweistechniken findet stets Freitags 08:15 Uhr in Raum 42/110 statt.

Die ersten beiden Termine (19. und 26. Oktober) bestehen aus einer Vorlesung. Ab dann (erstmals am 2. November) wird Dominique Ufer in einer Saalübung die Abgaben zu den Übungsblättern besprechen.

Übungsblätter

Aus den Abgaben müssen auf jedem Blatt 50% der Pflichtpunkte erreicht werden. Bewertet wird die sinnvolle Bearbeitung der Aufgaben. Durch freiwillige Aufgaben können Sie zusätzliche Punkte bekommen.