Logik
Wintersemester 2006/2007
Lehrbeauftragter: |
Prof. Dr. Jürgen Dassow
|
Wochenstunden: |
3+2+0 |
Zuhörerkreis: |
Bachelor IF 1. Semester |
Voraussetzungen: |
keine
|
Prüfung:
Die Prüfung wird durch eine Klausur in der Prüfungszeit nach dem Semester abgeleistet.
Sie findet am Donnerstag, dem 15. Februar 2007, von 13 bis 15 Uhr im Hörsaal 1 im Gebäude 26 statt.
Man muss die Zulassung zur Prüfung haben, siehe unten, und man
muss sich zur Prüfung anmelden
(siehe unten).
Die Ergebnisse der Klausur findet man
hier.
Prüfungsanmeldung:
Termin für die Anmeldung: 27. November 2006 bis 10. Januar 2007.
Näheres dazu findet man hier.
Prüfungszulassung:
Zu den Übungen gibt es Übungsblätter. Es müssen zu Beginn jeder Übung Aufgaben votiert
werden. Damit zeigt die/der Studierende dem Übungsleiter, dass sie/er bereit ist,
bei Aufforderung zu den votierten Aufgaben vorzutragen
(Lösungsvorschläge werden diskutiert, sie müssen nicht gleich richtig sein!).
Für die Prüfungszulassung sind folgende Leistungen zu erbringen:
-
Mindestens 2/3 der Übungsaufgaben (also 66%) müssen am Ende des Semesters votiert worden sein.
-
Mindestens zweimal pro Semester muss man in den Übungen vorgetragen haben.
Die Liste der Studenten, die eine
Prüfungszulassung aufgrund der Votierungen während
des Semesters erhalten haben, findet man
hier.
Im nächsten Semester
wird es eine Übung geben, in der man die
Prüfungszulassung erreichen kann, falls man sie in diesem Semster verpasst hat.
Übungsaufgaben:
Literatur:
- J. Dassow: Logik für Informatiker.
B.G. Teubner, Stuttgart, 2005.
Folien:
Webmaster