Uni-Logo

Logik für Informatiker - Übersicht

Dozenten: Prof. Dr. Bernhard Nebel und Prof. Dr. Wolfram Burgard

Übungen: Dr. Robert Mattmüller

Klausurergebnisse

Die Klausurergebnisse stehen fest. Die Klausureinsicht findet am 24. April 2008 um 14 Uhr im Seminarraum im 1.OG des Gebäudes 079 statt.

Termine

Vorlesung: Dienstag 16:15-18:00 und Freitag 11:15-13:00
Übungen: Donnerstag, 16:15-18:00
Klausur: Dienstag, 18. März 2008, 14:00-16:00

Ort

Vorlesung: Gebäude 082, Hörsaal 00-006
Übungen: Gebäude 101, Seminarraum 01-018
Klausur: Gebäude 082, Hörsaal 00-006

Sprache

Die Vorlesung wird auf Deutsch gehalten.

Kreditpunkte

9 ECTS-Punkte (Diplomstudiengang Informatik)

Vorlesungsinhalt

Die Vorlesung behandelt überwiegend die Aussagenlogik und die Logik der ersten Stufe unter Betonung von Themenkreisen, die für die Informatik wesentlich sind (z.B. Logikprogrammierung). Sie orientiert sich an dem Lehrbuch Logik für Informatiker von Uwe Schöning.

Voraussetzungen

Die Veranstaltung richtet sich an Diplom-Studenten im Studiengang Informatik. Es sind keine besonderen Vorkenntnisse erforderlich.
Für Bachelor-Studenten bietet Prof. Flum vom Institut für Mathematik eine separate Veranstaltung an.

Übungen

Während des Semesters werden jeden Dienstag Übungsaufgaben mit einer einwöchigen Bearbeitungszeit gestellt (Ausnahme: ein kleines Übungsblatt mit Ausgabe am Freitag, den 26.10.2007 und Bearbeitungszeit bis Dienstag, den 30.10.2007). Die Teilnahme an den Übungen ist nicht verpflichtend, wird aber zum Verständnis und zur Vertiefung des Stoffs dringend empfohlen.

Durch Bearbeiten der Übungsblätter können Bonuspunkte für die Klausur gesammelt werden (s.u).

Die Übungsaufgaben können und sollten in Gruppen von zwei Studenten bearbeitet werden.

Prüfungsleistung

Die Prüfungsleistung besteht in einer Klausur am 18. März 2008. Durch Bearbeitung der Übungsaufgaben können nach folgenden Regeln Bonuspunkte für die Klausur erworben werden:

  • Bis zu 100 Punkte können in der Klausur selbst erworben werden.
  • In den Übungen können Punkte für sinnvoll bearbeitete Aufgaben erworben werden. Werden mehr als 50 Prozent der Aufgaben sinnvoll bearbeitet, so werden in der Klausur Bonuspunkte proportional zu dem über 50 Prozent hinausgehenden Anteil sinnvoll bearbeiteter Aufgaben angerechnet. Fünf Prozent der Aufgaben entsprechen einem Bonuspunkt. Bsp.: Insgesamt wurden 80 Prozent der Aufgaben sinnvoll bearbeitet. Dann entspricht das (80-50)/5 = 6 Bonuspunkten.