Vorlesung 10603, Übung 10604 (Sommer 2006)
Logik für Informatiker
[Aktuelles]
[Termine und Ort]
[Übungen - Organisatorisches]
[Übungsblätter zum Download]
[Literatur]
Aktuelles
- Die noch nicht abgeholten Klausuren und Scheine liegen bei mir im
Büro bereit.
Bitte beachten Sie auch die Ankündigungen des Lehrstuhls am schwarzen
Brett (je ein solches befindet sich im Mathematikgebäude im Trakt des
Lehrstuhls an der Wand neben Raum E12 sowie im Informatikgebäude
an einer der runden Säulen im Foyer vor den oberen Eingängen zum
Turing-Hörsaal).
Termine und Ort
| Vorlesung: |
Freitag 10.00-11.30 Uhr (Turing-Hörsaal)
Erste Veranstaltung: Freitag, 28. April 2006 |
| Übung: |
Dienstag 8-15 Uhr (ÜR II)
(Die Gruppenliste ist ausgehängt.)
|
| Klausur: |
Freitag, 21. Juli 2006, 10.00 bis 12.00 Uhr |
Übungen - Organisatorisches
Die Übung dient zur Ergänzung und Vertiefung der in der Vorlesung
vermittelten Inhalte. Dazu werden regelmäßig Aufgaben gestellt,
die in Kleingruppen schriftlich zu bearbeiten sind. Die Aufgaben
werden korrigiert und bewertet und in den Übungsgruppen besprochen.
Die regelmäßige Teilnahme wird anhand der Bewertung der Blätter
festgestellt und ist Voraussetzung für die Zulassung zur
Abschlussklausur am Ende des Semesters. Bei bestandener
Abschlussklausur wird ein Übungsschein ausgestellt.
- Zur Teilnahme an den Übungen ist eine Anmeldung
erforderlich. Die Anmeldung ist abgeschlossen. Nachmeldungen
bitte direkt an Hans-Christoph Wirth richten.
Nicht angemeldete Teilnehmer können keine Klausurzulassung
erwerben.
- Für die Zulassung zur Klausur sind 40 Prozent der
während des Semesters erreichbaren Punktesumme hinreichend.
- Die Bearbeitung der Aufgaben kann alleine oder in
Zweierteams erfolgen.
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).
Übungsblätter zum Download
|
Ausgabe am |
zu bearbeiten bis |
|
Übung am |
| Blatt 1 |
Fr 05.05.06 |
Fr 12.05.06 |
Aufgaben |
Di 16.05.06 |
| Blatt 2 |
Fr 19.05.06 |
Fr 26.05.06 |
Aufgaben |
Di 30.05.06 |
| Blatt 3 |
Fr 02.06.06 |
Fr 09.06.06 |
Aufgaben |
Di 13.06.06 |
| Blatt 4 |
Fr 23.06.06 |
Fr 30.06.06 |
Aufgaben |
Di 04.07.06 |
Blatt 5
(letztes Blatt) |
Fr 07.07.06 |
Fr 14.07.06 |
Aufgaben |
Di 18.07.06 |
Es ist ziemlich sinnfrei, Lösungen zu alten Aufgaben
abzuschreiben, wenn diese nicht zur aktuellen Aufgabenstellung passen.
Abgabeschluss ist jeweils 10.00 Uhr (vor der Vorlesung). Bitte schreiben
Sie auf das Übungsblatt Ihren Namen.
Literatur
Maßgeblich für Klausur und Prüfungen sind die in der Vorlesung und der
Übung behandelten Inhalte. Eine empfehlenswerte Einführung gibt das
Buch
Uwe Schöning · Logik für Informatiker ·
B.I.-Wissenschaftsverlag
Hans-Christoph Wirth
(e-Mail: wirth@informatik.uni-wuerzburg.de)
Letzte Änderung: 05.08.2006.
Bei Problemen:
webmaster@optix.informatik.uni-wuerzburg.de