MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG LOGISCHE PROGRAMMIERUNG UND DEDUKTIVE DB
Institut für Informatik Wintersemester 2012/13
Prof. Dr. Stefan Brass [StudIP]

 

 

Logische Programmierung und deduktive Datenbanken

Informationen zur Prüfung (Modulleistung)

Die Prüfung wird als Klausur erfolgen, die Nachprüfung mündlich. Beispiele für frühere Klausuren finden Sie unten. Als Voraussetzung zur Klausurteilnahme (Studienleistung oder Modulvorleistung) müssen ausreichend viele Punkte in den Übungen erreicht werden (Hausaufgaben und Präsenzaufgaben). Die genauen Regeln stehen noch nicht fest, werden aber selbstverständlich in der ersten Vorlesung genannt.

 

Punkte-Datenbank:

Es wird die Möglicht geben, Ihren Punktestand für Hausaufgaben und Klausur online abzufragen. Sie müssen sich dazu in der ersten Semesterwoche als Benutzer der Datenbank registrieren. Wenn Sie von dieser Möglichkeit keinen Gebrauch machen wollen, melden Sie sich bitte beim Dozenten, da sich sonst jemand anderes unter Ihrem Namen registrieren kann. Achten Sie bitte auf weitere Ansagen in der Vorlesung.

 

Hausaufgaben / Übungen (Modulvorleistung):

 

Prüfung:

 

Frühere Klausuren:

  1. Klausur aus dem Wintersemester 2003/04:
                [PDF]    [Postscript, verkleinert]
  2. Klausur aus dem Wintersemester 2009/10 (von Dr. Thielemann):
                [PDF]
  3. Klausur aus dem Sommersemester 2011:
                [PDF]    [Postscript, verkleinert]

 


Stefan Brass (brass@informatik.uni-halle.de), 31. Januar 2013

Original URL: http://www.informatik.uni-halle.de/~brass/lp12/pruefung.html   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]