Mathematisches Institut der Universität MünchenUniversität MünchenMathematisches Institut der Universität München

Diskrete Strukturen

Dozent: Helmut Schwichtenberg.

Aktuelles

3. November: Nachholklausur ist korrigiert.

Termine

Vorlesung: Di 14-17, Hörsaal B138. Beginn 15. April.
Zentralübung: Do 08:30-10, Hörsaal B138. Beginn 17. April.
Sprechstunde: Mi 14-15, Zimmer B415.

Skriptum

Endfassung
Die in der Übung am 17. April behandelten Beispiele für verschiedene Formen der Rekursion finden Sie hier.

Übungsblätter

Übung 1, 2, 3, 4, 5, 6, 7, 8, 9, 10.
Die Lösungen werden in der Zentralübung präsentiert. Lösungen zu Blatt 6 und Blatt 10.
Die Abgabe erfolgt durch Einwurf in den Briefkasten im 1. Stock. Die korrigierten Übungsblätter liegen eine Woche später in dem Rückgabekasten im 1. Stock.
Sprechstunden des Korrektors: Christoph Senjak, Di. 17:30-18:00, K035.

Tutorien

Di 10-12: B 046
Di 12-14: B 045
Mi 08-10: B 134
Mi 12-14: B 046
Do 12-14: B 252
Bitte melden Sie sich baldmöglichst hier an.

Klausur

Es wird eine Klausur geschrieben, und zwar am Donnerstag, den 17.07.2008, 08-10 Uhr, B138 und C122. Hilfsmittel (Bücher, Skripten etc.) sind in der Klausur nicht zugelassen. Ergebnisse der Klausur finden Sie hier. Die Klausureinsicht ist möglich am Montag, 27. Juli, um 14:00 Uhr im Hörsaal B138.

Nachholklausur

Für diejenigen Studenten, die die Klausur nicht bestanden oder nicht mitgeschrieben haben, findet eine Nachholklausur statt, und zwar am Samstag, den 11.10.2008, 10-12 Uhr, im B138. Hilfsmittel (Bücher, Skripten etc.) sind wieder nicht zugelassen. Die Ergebnisse der Klausur finden Sie hier. Die Klausureinsicht ist möglich am Mittwoch, dem 5. November, um 14:00 Uhr im Raum B420 (Diana Ratiu). Diplomstudenten bringen bitte ein ausgefülltes Scheinformular mit. Man kann es ausdrucken von http://www.mathematik.uni-muenchen.de/formulare/uebungsschein.pdf.

Scheine

Bedingungen für einen Übungsschein: Mindestens die Häfte der Klausurpunkte. Es wird dringend empfohlen, die Übungsaufgaben zu bearbeiten und zur Korrektur abzugeben. Die Übungsscheine der Diplomstudenten können bei Herrn Schimanski (Zi. B420) und ab 11. August bei Frau Bach (Zi. B416) abgeholt werden.

Literatur

Es ist keine besondere Literatur erforderlich. Teilweise geeignet ist: J. Truss, Discrete Mathematics for Computer Scientists (Addison Wesley 1999).

Scheme

Eine Fülle von Informationen und Programmen gibt es im Internet Scheme Repository. Hier findet man auch die komplette Dokumentation von Scheme, den Revised 5 Report in allen Formaten. Darüber hinaus seien die Bücher Abelson/Sussman: Structure and Interpretation of Computer Programs, 2nd ed.,MIT Press 1996, Dybvig: The Scheme Programming Language, 2nd ed., Prentice Hall 1996 und Felleisen/Findler/Flatt/Krishnamurthi: How to Design Programs, MIT 2001 empfohlen. Nützlich sind auch die Scheme Reference Card und die Emacs Reference Card.

Minlog

Zum interaktiven Erzeugen von Beweisen kann man sich informieren auf der Seite für das Minlog System.

Helmut Schwichtenberg [Stand 3. November 2008]