I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Diskrete Strukturen Wintersemester 2009/10

  Neuigkeiten | Termine | Inhalt | Folien | Übungen | Notenvergabe | Literatur | Links

8. Februar 2010:

Diese Woche findet keine Zentralübung statt.

2. Februar 2010:

Es gibt einen neuen Foliensatz über das RSA-Kryptosystem. Diese Folien sind nicht relevant für die Klausur.

28. Januar 2010:

Die Vorlesung vom 4.2 wird auf den 3.2 um 14:15 im Physikhörsaal verlegt. Sie wird von Herrn Meixner gehalten. Die Zentralübung findet am Freitag, den 5.2 um 10:15 in HS1 statt.

21. Januar 2010:

Es gibt eine neue Version vom Foliensatz ``Graphen V:Matchings''. Inhaltlich hat sich nichts geändert. Der Beweis des Heiratssatzes hat nun (hoffentlich) eine bessere Struktur.

14. Januar 2010:

Der Fehler auf Folie 12 vom Foliensatz 15 (Graphen-Algorithmen) ist behoben worden.

14. Januar 2010:

Tausch von Vorlesung und Zentralübung.
Die nächste Vorlesung findet am 20.1 um 14:15 im Physik-Hörsaal statt. Die nächste Zentralübung findet am 19.1 um 13:45 in HS1 statt.

18. December 2009:

Kleine Korrektur im Foliensatz "Kombinatorik III", Folie 43: Die Summe geht nicht von i=1 bis k, sondern von i=0 bis k (vielen Dank an Christian Kroemer).

16. December 2009:

Im Foliensatz "Kombinatorik IV: Bälle und Urnen" findet man auf Folien 12, 13, und 14 ein geheimnisvolles Zeichen, das dem "*" ähnlich sieht. Es handelt sich um das "kleiner oder gleich" Zeichen. Das Zeichen wird aus unbekannten Gründen bei der Übersetzung Powerpoint->PDF inkorrekt dargestellt. Die Hilfe eines Texpoint Gurus wäre sehr wilkommen ...

8. December 2009:

Die Klausuren vom letzten Jahr finden Sie hier (siehe Mittelklausur, Endklausur, und Wiederholungsklausur).

27. November 2009:

Für Vorlesungs- und Übungsteilnehmer stehen während der ganzen Woche von 8 - 20 Uhr Arbeitsräume zur Verfügung, in denen sie in kleinen Gruppen selbständig ihre Studien zu Diskreten Strukturen gemeinschaftlich betreiben können. Die Liste der Räume finden Sie auf der Übungsseite.

24. November 2009:

Von Prof. Esparza: Ich habe heute eine Zugverbindung verpasst (ich war auf Dienstreise) und habe leider erst gegen 14:30 Garching erreicht. Herr Meixner hat sich freundlicherweise bereit erklärt, Zentralübung und Vorlesung zu tauschen. Die Vorlesung findet morgen um 14:15 in PH 2501 statt. Ich bitte Sie um Entschuldigung für die Unannehmlichkeiten.

17. November 2009:

Wir haben bemerkt, dass im Inferenzkalkül eine Regel fehlt: Ausgeschlossener Dritte. Die Regel ist nun auf Folie 76 hinzugefügt worden.
Ohne diese Regel ist der Kalkül korrekt aber nicht vollständig, wie im Satz auf Folie 82 behauptet.
Die Änderung hat keine Konsequenzen für die bisherigen Vorbereitung-, Tutor- oder Hausaufgaben, denn die Regel wurde dort nicht benutzt.

11. November 2009:

Die Zentralübung fällt wegen Krankheit aus.

12. Oktober 2009:

Willkommen zur Vorlesung "Diskrete Strukturen".

Bitte beachten Sie, dass die erste Vorlesung am 20.10.09 um 13:45 im Raum MI HS 1 (dem grossen Hörsaal im Mathematik-Informatik Gebäude) stattfindet.

Die zweite Vorlesung findet ausnahmsweise am Mittwoch, den 21.10.09 um 14:15 im Hörsaal PH HS1 - PH 2501 (Fakultät für Physik, 5 Gehminuten vom Gebäude für Mathematik und Informatik) statt. Das ist der übliche Termin der Zentral¨bung, die in dieser Woche auch ausnahmsweise am Donnerstag, den 22.10.09 stattfindet.

Wir bitten um Entschuldigung für die Unannehmlichkeiten!