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 älteren 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. In den letzten paar Jahren wurde zu fast allem Musterlösungen bereitgestellt.
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. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. Wie lange dauert die Klausurkorrektur?
    Normalerweise maximal 6 Wochen. Manchmal schaffen wir es schneller.
14. 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.