Zur Startseite der Abteilung Theoretische Informatik

Algorithmen und Berechenbarkeit / Formale Methoden (WS 2014/15)

 

ZeitRaumTermine
Mo 11:30-13:00 V38.04 wöchentlich ab 13.10.14 außer am 03.11., 12.01.
Do 14:00-15:30 V38.04 wöchentlich ab 16.10.14 außer am 08.01., 15.01.

Am 8.1., 12.1. und 15.1. findet keine Vorlesung statt.

Termin der Scheinklausur (Multiple-Choice): 12.2. um 14:00 in V38.04

Die Ergebnisse und eine Musterlösung der Scheinklausur sowie die Liste der vergebenen Scheine hängen jetzt neben Raum 1.101 aus. Bitte vergewissern Sie sich dort möglichst zeitnah, ob Sie die Scheinbedingungen erfüllt haben.

Die Ergebnisse Modulprüfung hängen jetzt neben Raum 1.101 aus.

Ergänzungen

Daniel Bahrdt

Webseite der Ergänzungen


Übungen

Die Anmeldung zu den Übungen erfolgt über die Webseite https://uebungsgruppen.informatik.uni-stuttgart.de/. Benutzername und Passwort siehe erstes Übungsblatt.

GruppeZeitRaumTutorBesprechungstermin
Blatt 1Blatt 2Blatt 3Blatt 4Blatt 5Blatt 6Blatt 7
1 Mo 15:45-17:15 0.447 T. Mendel 20.10. 3.11. 17.11 1.12. 15.12 19.1. 2.2.
2 Mo 15:45-17:15 0.463 A. Weiß 20.10. 3.11. 17.11 1.12. 15.12 19.1. 2.2.
3 Di 9:45-11:15 0.363 A. Nusser 21.10. 4.11. 18.11 2.12. 16.12 20.1. 3.2.
4 Di 14:00-15:30 0.457 N. Schnelle 21.10. 4.11. 18.11 2.12. 16.12 20.1. 3.2.
5 Di 15:45-17:15 0.118 T. Mendel 21.10. 4.11. 18.11 2.12. 16.12 20.1. 3.2.
6 Mo 15:45-17:15 0.447 T. Mendel 27.10. 10.11. 24.11 8.12. 12.1. 26.1. 9.2.
7 Mo 15:45-17:15 0.463 A Weiß 27.10. 10.11. 24.11 8.12. 12.1. 26.1. 9.2.
8 Di 9:45-11:15 0.363 A. Nusser 28.10. 11.11. 25.11 9.12. 13.1. 27.1. 10.2.
9 Di 14:00-15:30 0.457 T. Mendel 28.10. 11.11. 25.11 9.12. 13.1. 27.1. 10.2.

Achtung: Raumänderung bei den Gruppen 1, 4, 6 und 9.

Übungsblätter

Scheinklausur

Scheinbedingungen

  • 50% der erreichbaren Punkte aus Hausübungen (d.h. 45 Punkte)
  • Bestehen der Scheinklausur

 

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

Aktuelle Folien (PDF) (werden laufend aktualisiert)

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

  • Uwe Schöning: Theoretische Informatik – kurzgefasst, 5. Auflage, Spektrum, 2008. (Die ältere Auflage von 2000 tut's auch!)