Zur Startseite der Abteilung Theoretische Informatik

Algorithmen und Berechenbarkeit / Formale Methoden (WS 2013/14)

Organisatorisches

ZeitRaumTermine
Mo 11:30-13:00 V38.04 wöchentlich ab 14.10.13
Di 15:45-17:15 V38.04 wöchentlich ab 15.10.13

Am Montag, 25.11. findet keine Vorlesung statt!

Ergänzungen

Daniel Bahrdt

Webseite der Ergänzungen

Übungen

Gruppe Zeit Raum Tutor Besprechungstermin
Blatt 1Blatt 2Blatt 3Blatt 4Blatt 5Blatt 6Blatt 7
1 Di 14:00-15:30 0.124 T. Walter 22.10. 5.11. 19.11 3.12. 17.12 14.01. 28.1.
2 Di 14:00-15:30 0.447 A. Bühler 22.10. 05.11. 19.11 03.12. 17.12 14.01. 28.01.
3 Di 17:30-19:00 0.447 M. Schneider 22.10. 05.11. 19.11 03.12. 17.12 14.01. 28.01.
4 Di 14:00-15:30 0.447 A. Bühler 29.10. 12.11. 26.11 10.12 07.01. 21.01. 04.02.
5 Di 17:30-19:00 0.447 M. Schneider 29.10. 12.11. 26.11 10.12 07.01. 21.01. 04.02.

Scheinbedingungen

Pro Übungsblatt müssen Aufgaben schriftlich bearbeitet werden.

Am Ende der Veranstaltung

Dienstag, 21.1. in der Vorlesung
wird eine Scheinklausur geschrieben.

Es müssen 50% der Summe der erreichbaren Punkte aus Hausübungen und Scheinklausur erreicht werden.

Übungsblätter

Materialien (nur für den internen Gebrauch, bitte nicht an Dritte weitergeben!)

Die aktuellen Folien der Vorlesung (Stand 14.1.2014): (PDF)

Kapitel "diskrete Wahrscheinlichkeitsrechnung" aus Volker Diekert, Manfred Kufleitner, Gerhard Rosenberger: Elemente der Diskreten Mathematik, Walter de Gruyter, 2013: (PDF)

Auf der Seite der Vorlesung EAA (Sommersemester 09) finden Sie unter Anderem ein Skript, das viele Themen dieser Vorlesung tiefergehend behandelt.

Literatur

  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Introduction to Algorithms (Second Edition), MIT Press, 2001
  • T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen, Spektrum Verlag, 1996
  • J. Kleinberg, É. Tardos: Algorithm Design, Addison-Wesley, 2006