Sommersemester 2000 - Übungen zur Logik
Seminare, Aufgaben
Wir stellen wöchentlich Übungsaufgaben auf unserer Web-Seite
http://www.informatik.uni-leipzig.de/~joe/edu/ss00/logik/.
Sie sollen sich mit den Aufgaben beschäftigen
und zu den Seminaren darüber Auskunft geben.
Haben Sie große Schwierigkeiten mit einer Aufgabe,
dann benachrichtigen Sie bitte Ihren Seminarleiter (per email),
damit dieser das bei der Vorbereitung des jeweils nächsten Seminars
berücksichtigen kann.
Scheine
Einen Übungsschein erhalten Sie, wenn Sie die Logik-Klausur bestehen,
die wir kurz vor Ende des Semesters schreiben.
Sie besteht aus (geringfügig modifizierten) Übungsaufgaben,
die Sie bereits während des Semesters bearbeitet haben.
(für 4. Semester:) Vordiplom
Ihre Vordiplomprüfung in Theoretischer Informatik
ist eine (3-stündige) Klausur (im Prüfungszeitraum im Sommer)
mit Aufgaben zu allen vier Theorie-Vorlesungen
(Grundlagen, Automaten und Sprachen, Berechenbarkeit und Komplexität, Logik).
(für 2. Semester:) Modulprüfung
Sie schließen das erste Theorie-Modul ab mit einer
(anderhalbstündigen) Klausur (im Prüfungszeitraum im Sommer)
mit Aufgaben zu den ersten beiden Theorie-Vorlesungen
(Grundlagen, Logik).
http://www.informatik.uni-leipzig.de/~joe/
mailto:joe@informatik.uni-leipzig.de