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]