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).

best viewed with any browser


http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de