FAQ zur Logik-Vorlesung

Sollten Angaben auf dieser Seite im Widerspruch zu Bekanntgaben in der Vorlesung, zu Angaben auf der aktuellen Webseite der Vorlesung oder zu offiziellen Angaben z.B. des Prüfungsamtes stehen, so sind die Informationen auf dieser Seite nich ausschlaggebend.

1. Wie läuft der Übungsbetrieb ab?
2. Ich habe weitere Fragen, die in den Übungen nicht beantwortet wurden. An wen kann ich mich wenden?
3. Gibt es irgendwo weitere Musterlösungen zu Aufgaben und alten Klausuren?
4. Warum sind die Übungsaufgaben anders als die Klausuraufgaben?
5. Was mache ich, wenn ich Fehler entdecke (im Buch, in den Uebungen etc.)?
6. Warum bekomme ich keine schnelleren Antworten im Forum?
7. Was ist zu tun, wenn es heißt: Beweisen Sie semantisch?
8. Kalkül des natürlichen Schließens: Darf ich bei der Klausur Lemmata verwenden?
9. Welche Klausuren muss ich schreiben und wann finden die Klausuren statt?
10. Was ist der genaue Prüfungsstoff?
11. Wieviel Prolog muss ich für die Klausur können?
12. Sollte ich noch etwas zum Klausurablauf wissen?
13. Wieviele Punkte braucht man zum Bestehen der Klausur?
14. Welche Hilfsmittel sind bei der Klausur erlaubt?
15. Wie lange dauert die Klausurkorrektur?
16. Kann man seine eigene Klausur einsehen und wann?
17. Muss ich mir das Buch, auf dem die Lehrveranstaltung beruht, kaufen?

1. Wie läuft der Übungsbetrieb ab?
   Informationen dazu gibt es in der ersten Vorlesungssitzung und auf der Webseite zur Vorlesung.
2. Ich habe weitere Fragen, die in den Übungen nicht beantwortet wurden. An wen kann ich mich wenden?
   In den Übungs- und Fragestunden sollten alle Fragen beantwortet werden.
   Oft ist auch ein Austausch mit anderen Studenten am einfachsten und am ergiebigsten.
   Sie können Ihre Frage im Forum stellen.
3. Gibt es irgendwo weitere Musterlösungen zu Aufgaben und alten Klausuren?
   Der Aufwand, veröffentlichbare Musterlösungen zu erstellen, ist groß. Zu den Klausuren gibt es keine von uns, aber ältere Semester haben Mitschriften von Klausurbesprechungen. Für einzelne Übungsaufgaben findet man Lösungen von uns auf den Webseiten der Vorlesung der vergangenen Jahre.
4. Warum sind die Übungsaufgaben anders als die Klausuraufgaben?
   Aufgaben, die gut zum üben sind, sind nicht immer gute Klausuraufgaben. Gute Klausuraufgaben sind nicht immer gute Aufgaben zum üben. Alte Klausuren findet man auf der Webseite zur Vorlesung.
5. Was mache ich, wenn ich Fehler entdecke (im Buch, in den Übungen etc.)?
   Am Besten eine Email an die Übungsleiter oder den Lehrbeauftragten schicken. Auch für gefundene Tippfehler sind wir dankbar.
6. Warum bekomme ich keine schnelleren Antworten im Forum?
   Das Forum soll in erster Linie dem fachlichen Austausch der Studenten untereinander dienen. Die Übungsleitung/Tutoren schauen auch hin-und-wieder rein, aber natürlich nur, soweit Kapazität besteht.
7. Was ist zu tun, wenn es heißt: Beweisen Sie semantisch?
   Dazu ist von der Definition semantischer Äquivalenz auszugehen und ein Beweis mit Hilfe der Definition von Interpretationen im Sinne der Beweise von Satz 4.25 zu führen.
8. Kalkül des natürlichen Schließens: Darf ich bei der Klausur Lemmata verwenden?
   Es ist in der Regel angegeben, ob und welche Lemmata verwendet werden dürfen. Formulierungen wie `Beweisen Sie mit den Regeln des Kalküls des natürlichen Schließens' verbieten den Gebrauch von Lemmata. Im Zweifelsfall sind alle Lemmata erlaubt, die in der Vorlesung besprochen oder als Übungsaufgaben dran waren - man sollte allerdings auf die Quelle hinweisen. Natürlich darf man auch beliebige weitere Lemmata verwenden, muß diese dann aber beweisen.
9. Wann finden die Klausuren statt?
   Medieninformatiker schließen das Wintersemester mit einer Scheinklausur ab (Nach- bzw. Wiederholungsprüfung wird im darauffolgenden Sommersemester angeboten). Informatiker und IST-ler schreiben nach dem Sommersemester eine Klausur (Nach- bzw. Wiederholungsprüfung wird im darauffolgenden Wintersemester angeboten).
   Die Klausuren finden in der Regel während des Prüfungszeitraumes statt, also wenige Wochen nach Ende der Vorlesungszeit.
   Die Klausur Termine werden auf der Webseite der Vorlesung bekannt gegeben.
10. Was ist der genaue Prüfungsstoff?
    Prüfungsstoff ist der Inhalt der Vorlesung und der Übungen. Die Medieninformatiker werden nur über die Logik I (Wintersemester) geprüft. Da der Inhalt der Vorlesung von Jahr zu Jahr leicht variiert, kann sich auch der Prüfungsstoff entsprechend verändern. Die ersten Wiederholungsprüfungen (für Medieninformatiker im darauffolgenden Sommersemester, für Informatik bzw. IST Studenten im darauffolgenden Wintersemester) orientieren sich am Stoff der Erstprüfung.
11. Wieviel Prolog muss ich für die Klausur können?
    (Ab WS 2005/6 wird Prolog nicht mehr am Anfang der Vorlesung durchgenommen und ist deshalb für die Klausur für Medieninformatiker auch nicht relevant.)
    Wir verlangen für die Klausur nur Sprachelemente, die in der Vorlesung oder den Übungen dran waren. Orientieren Sie sich an den alten Klausuren. Wenn Sie sich in Prolog besser auskennen, dürfen sie Ihr Wissen natürlich verwenden. Wir weisen aber darauf hin, dass für die Bearbeitung der Klausuren SWI-Prolog verwendet werden soll.
12. Sollte ich noch etwas zum Klausurablauf wissen?
    Es wird alles Wesentliche auf den Webseiten des Prüfungsamtes und der Webseite zur Vorlesung bekanntgegeben. Dennoch einige Bemerkungen:
    • Handies am besten zu hause lassen - sie müssen vor der Klausur vorne abgegeben werden.
    • Während der Klausur werden keine (inhaltlichen) Fragen mehr beantwortet, auch keine Fragen zur Klärung der Aufgabenstellung.
    • Sollte ein Teilnehmer der Meinung sein, dass eine Aufgabe unklar gestellt ist beziehungsweise einen Fehler enthält (das kann vorkommen), so sollte er angeben, wie er die Aufgabe verstanden hat, und sie dann unter dieser Annahme lösen.
13. Welche Hilfsmittel sind bei der Klausur erlaubt?
    In den letzten Jahren waren bei der Klausuren alle Hilfsmittel außer elektronischen Geräten zugelassen. Ab Wintersemester 2004/5 werden nur noch sehr beschränkt Hilfsmittel zugelassen. Genauere Informationen dazu findet man auf der Web Page der Vorlesung.
14. Wie lange dauert die Klausurkorrektur?
    Normalerweise maximal 6 Wochen. Manchmal schaffen wir es schneller.
15. Kann man seine eigene Klausur einsehen und wann?
    Zu Beginn des nachfolgenden Semesters bieten wir Termine zur Einsicht in die eigene Klausur ermöglichen. (Siehe Ankündigung auf der Web Page der Vorlesung) In Härtefällen (z.B. 2. Wiederholung) kann eine vorzeitige Einsichtnahme bei der Leitung des Übungsbetriebs beantragt werden. Man beachte die aktuelle Webseite zur Vorlesung.
16. Muss ich mir das Buch, auf dem die Lehrveranstaltung beruht, kaufen?
    Es ist sehr zu empfehlen. Auf den Folien zur Lehrveranstaltung steht zwar das wichtigste, aber im Buch findet man mehr Erklärungen. Man kann es eventuell älteren Semestern, die das Buch nicht mehr brauchen, abkaufen. Aber aufpassen: Es gab eine limitierte 1. Auflage (ca. 240 Seiten), die noch viele Fehler enthält. Die aktuelle 3. Auflage umfasst ca. 300 Seiten und ist auf der inneren Titelseite als "Dritte, durchgesehene Auflage" ausgewiesen. Wer die 2. Auflage schon besitzt und sich deswegen einen Kauf der 3. Auflage nicht leisten möchte, der sei auf die Folien des Sommersemesters 2003 hingewiesen. In diesen sind die inhaltlichen Änderungen, die insbesondere die Prädikatenlogik (siehe S.23 im Foliensatz Prädikatenlogik ) betreffen, vermerkt.