Home      Termine      Kontakt      Folien      Ablauf      Prüfung      Literatur      Software      Links

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.

• In die Punkte Datenbank eintragen (für neue Benutzer)
• In die Punkte Datenbank eintragen (nur diesen Kurs hinzufügen)
• Passwort ändern
• Ergebnisse anzeigen

Hausaufgaben / Übungen (Modulvorleistung):

• Um zur Prüfung (Klausur bzw. mündliche Prüfung) zugelassen zu werden, müssen Sie zwei Voraussetzungen erfüllen:
  • Sie müssen in den Hausaufgaben mindestens 50% der Punkte erreichen. Die Hausaufgaben sind einzeln zu bearbeiten (keine Gruppenarbeit). Sie müssen Ihre Abgaben in den Übungen erklären können, und auch Fragen zum Umfeld der Aufgabe beantworten können.
  • Sie müssen regelmässig an den Übungen teilnehmen und sich aktiv beteiligen. Sie dürfen drei Mal fehlen, darüber hinaus nur nach Rücksprache mit dem Dozenten.
  Daneben muß man sich natürlich zu Modul und zur Modulleistung (Prüfung) korrekt anmelden.
• In Einzelfällen (begründete Ausnahmen) kann der Dozent ein Projekt mit Verteidigung als Alternative anbieten.
• Plagiate sind kein Kavaliersdelikt! Das Abschreiben von Hausaufgaben kann ernste Folgen haben (minimal 0 Punkte für alle Beteiligten bei zu ähnlichen Lösungen, in schlimmeren Fällen ist aber z.B. auch ein Ausschluss von der Prüfung möglich). Es ist selbstverständlich auch ein Plagiat, wenn Sie eine eventuell im Web gefundene Lösung ohne Quellenhinweis abgeben. Mit Quellenhinweis ist es kein Plagiat, aber ich werde Sie dann extrem gründlich nach der genauen Funktionsweise befragen.

Prüfung:

• Die Prüfung findet voraussichtlich als Klausur statt, die Nachprüfung als mündliche Prüfung.
• Die Klausur ist im Moment für Donnerstag, 21.03.2013, 10-12, geplant. Dieser Termin ist noch nicht ganz endgültig, achten Sie bitte auf eventuelle Änderungen. Teilen Sie mir bitte ggf. auch Terminkonflikte so bald wie möglich mit.
• Beachten Sie bitte, dass man sich zur Prüfung nur anmelden kann, wenn man
  • sich zum Modul angemeldet hat (im Löwenportal, bis 24.10.2012), und
  • die Modulvorleistung erbracht hat (s.o.).

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]