Vorlesung 10605, Übung 10606 (Sommer 2002)
Logik für Informatiker

[Literatur] [Termine und Ort] [Übungen - Organisatorisches] [Übungsblätter zum Download]

Klausurergebnisse und Scheine

Die Besprechung und Rückgabe der Klausur sowie die Ausgabe der Scheine findet am Freitag, 19. Juli, um 10:15 Uhr im Turing-Hörsaal statt. Scheine können nur persönlich ausgehändigt werden. Wer an diesem Termin verhindert ist, möge den Schein später bei mir im Büro abholen.

Literatur

Die hier angegebenen Literaturstellen sind als Einstieg für eine selbstständige Vertiefung des Stoffes gedacht. Für die Klausur sind natürlich nur die explizit in der Vorlesung und den Übungsblättern behandelten Inhalte relevant.

Monographien

Artikel in Zeitschriften

Sonstiges

Termine und Ort

Vorlesung: Freitag 10.15-11.45 Uhr (Turing-Hörsaal)
Übung: Dienstag 8-15 Uhr (ÜR I)
Klausur: Freitag, 12. Juli 2002, 10.00 bis 12.00 Uhr

Übungen - Organisatorisches

Bei organisatorischen Fragen zu den Übungen wenden Sie sich bitte per e-Mail oder persönlich an Hans-Christoph Wirth (Zimmer E14, Telefon 888-5058, Sprechstunde Dienstag 12 bis 14 Uhr).

Übungsblätter zum Download

Die in der Vorlesung ausgegebenen Blätter werden gleichzeitig hier zum Download angeboten.
Abgabe der Übungsblätter jeweils bis Freitag 10:15 Uhr in den Briefkästen vor der Teilbibliothek Mathematik.

Übungsblatt Download
Erstsemesterübung vom 30.04.02 Aufgaben mit Lösungen .ps .pdf
1. Blatt vom 26.04.02 Aufgaben .ps .pdf Aufgaben mit Lösungen .ps .pdf
2. Blatt vom 10.05.02 Aufgaben .ps .pdf
Aufgaben mit Lösungen .ps .pdf
3. Blatt vom 24.05.02
Aufgaben .ps .pdf
Aufgaben mit Lösungen .ps .pdf
4. Blatt vom 07.06.02 Aufgaben .ps .pdf Aufgaben mit Lösungen .ps .pdf
5. und letztes Blatt vom 21.06.02 Aufgaben .ps .pdf
Aufgaben mit Lösungen .ps .pdf
Klausur Aufgaben mit Lösungen .ps .pdf


Hans-Christoph Wirth (e-Mail: wirth@informatik.uni-wuerzburg.de)

Letzte Änderung: 10.02.2003. Bei Problemen: webmaster@optix.informatik.uni-wuerzburg.de