Logik für Informatiker (Sommer 2002)

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

Uwe Schöning · Logik für Informatiker · B.I.-Wissenschaftsverlag

Artikel in Zeitschriften

D. S. Johnson · Approximation Algorithms for Combinatorial Problems · Journal of Computer and System Science 9 (1974), Seite 256-278
U. Schöning · A Probabilistic Algorithm for k-Sat and Constraint Satisfaction Problems · Proceedings of FOCS'99
U. Schöning · A Probabilistic Algorithm for k-Sat based on Limited Local Search and Restart · Algorithmica 32 (2002), Seite 615-623

Sonstiges

Die in der Präsenzübung am 14.06. vorgestellten praktischen Evaluierungen einiger 3Sat-Algorithmen können in der Praktikumsarbeit .ps .pdf von Stefan Menth nachgelesen werden.

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

Die Anmeldung ist abgeschlossen. Nachmeldungen bitte an Hans-Christoph Wirth richten.
Nicht angemeldete Teilnehmer können keine Klausurzulassung erwerben.
Bis zu zwei Übungsteilnehmer dürfen gemeinsam ein Übungsblatt abgeben.
Für die Zulassung zur Klausur sind mindestens 40 Prozent der während des Semesters erreichbaren Punktesumme notwendig.

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

Ü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

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