Vorlesung 08 06030, Übung 08 06040 (Sommer 2008)
Logik für Informatiker
(2+2 SWS, 5 ECTS)
[Aktuelles]
[Termine und Ort]
[Übungen - Organisatorisches]
[Übungsblätter zum Download]
[Literatur]
Aktuelles
- Die Nachklausur findet am Dienstag, 7. Oktober um
10.00 Uhr im Zuse-HS statt. Alle angemeldeten Teilnehmer
haben von mir eine Bestätigung per e-Mail erhalten.
- Die Scheine vom Sommersemester können bei mir abgeholt
werden.
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
Zuse-Hörsaal).
Termine und Ort
| Vorlesung: |
Freitag 10:00-11:30 Uhr (Turing-Hörsaal)
Erste Veranstaltung: Freitag, 18. April 2008 |
| Übung: |
Donnerstag 11:45-18:30 Uhr
(Gruppen 1+4: 11:45, Gruppe 2: 13:30, Gruppe 3: 15:15)
Termine siehe weiter unten.
|
| Klausur: |
Freitag, 18. Juli,
10:00 Uhr, Turing-HS |
Hinweise zur Klausur:
- Klausurtermin: Die Klausur findet am Freitag, 18. Juli, von
10.00 bis ca. 11.00 Uhr im Turing-Hörsaal statt.
- Zulassung: Die Liste der zugelassenen Teilnehmer hängt am
Schwarzen Brett.
- Mitbringen: Sie benötigen für die Klausur einen
Personalausweis oder Reisepass, sowie Schreibzeug.
- nicht mitbringen: Hilfsmittel (Skript, Bücher,
Taschenrechner etc.) sind nicht zugelassen.
- Stoff: Prüfungsrelevant sind alle Inhalte aus der
Vorlesung und der Übung.
Ü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.
- Die Anmeldung zu den Übungen ist abgeschlossen. Nicht
angemeldete Teilnehmer können keine Klausurzulassung
erwerben. Nachmeldungen richten Sie bitte direkt an
Hans-Christoph Wirth.
- 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
Abgabeschluss ist jeweils 10.00 Uhr (vor der Vorlesung). Bitte schreiben
Sie auf das Übungsblatt Ihren Namen und die Nummer der
Übungsgruppe, in der Sie das korrigierte Blatt
zurückerhalten möchten.
Angebot für Erstsemester: Ich biete eine einführende
Präsenzübung an; hier werden einige grundlegende
Übungsaufgaben besprochen und es ist auch Gelegenheit für
Ihre Fragen. Termin: Donnerstag, 24. April, 11.45 Uhr,
Raum SE II.
Fragestunde: Zur Klausurvorbereitung biete ich am Freitag,
11. Juli, zur Vorlesungszeit eine Fragestunde an. Hier
können gemeinsam solche Fragen geklärt werden, die Ihnen
bei der Nacharbeit des Stoffes geblieben sind. Bitte bereiten Sie
dazu Fragen vor.
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 ·
Spektrum Akad. Verlag (bzw. B.I.-Wissenschaftsverlag)
- Handout zum Algorithmus von Johnson
Hans-Christoph Wirth
(e-Mail: wirth@informatik.uni-wuerzburg.de)
Letzte Änderung: 02.10.2008.
Bei Problemen:
webmaster@optix.informatik.uni-wuerzburg.de