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.