Vorlesung "Logik" / "Logik für Informatiker"

(WiSe 2006/07, Universität Dortmund)

	Dozent:  Prof. Dr. Martin Kreuzer   Nr. im Vorlesungsverzeichnis:  010116
	Träger des Lehrer-Lämpel Pokals der Fachschaft Informatik für die beste Vorlesung dieses Semesters.
	Termin: Mo, 10 - 12 Uhr Ort: HS 1 in HG II Beginn: Mo, 16.10.2006
	Erwünschte Vorkenntnisse: Mathematik für Informatiker I + II
	Martin Kreuzer und Stefan Kühling, Logik für Informatiker, Pearson Studium, München 2006 Uwe Schöning, Logik für Informatiker, Spektrum Akademie Verlag, Heidelberg 2000 Bernhard Heinemann und Klaus Weihrauch, Logik für Informatiker. Eine Einführung, Teubner Verlag 1992 Anil Nerode und Richard Shore, Logic for Applications, Springer Verlag 1997

Vorlesungsinhalt

Die Vorlesung ist eine Veranstaltung des Grundstudiums und richtet sich an Studenten im Diplomstudiengang Informatik sowie im Bachelorstudiengang Datenmanagement.

• 0. Einführung

• 1. Aussagenlogik

  1. Grundlagen
  2. Das Resolutionskalkül der Aussagenlogik

• 2. Hornlogik

  1. Grundlagen
  2. Das Resolutionskalkül der Hornlogik
  3. Logik–Programmierung

• 3. Prädikatenlogik

  1. Grundlagen
  2. Normalformen
  3. Die Unentscheidbarkeit der Prädikatenlogik
  4. Das Resolutionskalkül der Prädikatenlogik

• 4. Gleichungslogik

  1. Termersetzungssysteme
  2. Die Knuth–Bendix–Vervollständigung

• 5. Modallogik

  1. Grundlagen
  2. Das Tableaukalkül der Aussagenlogik
  3. Das modallogische Tableaukalkül

• 6. Temporallogik

  1. Zeitlogik
  2. Der UNTIL–Operator

• 7. Weitere logische Systeme

Übungen und mehr

• Mi, 08:15–09:00, MB/E21 (Maschinenbaugebäude)
• Mi, 09:15–10:00, MB/E21 (Maschinenbaugebäude)
• Mi, 12:15–13:00, HGI/HS5 (Campus Süd)
• Mi, 13:15–14:00, HGI/HS5 (Campus Süd)

• Alle Gruppen: 08:15-09:45, OH14/E23 (Neubau Informatik)

• Gruppen 1 & 2: 08:15-09:45, MB/E21 (Maschinenbaugebäude)
• Gruppen 3 & 4: 12:15-13:45, HGI/HS5 (Campus Süd)

• Alle Interessierten: 10:15-13:00, M/E28 (Mathematikgebäude/Audimax Foyer)

• Gruppe 1
• Gruppe 2
• Gruppe 3
• Gruppe 4

Übungsblätter und Zusatzmaterialien

• Aussagenlogik / Hornlogik
  • Blatt 1  (Abgabetermin: 23.10.2006, 12.30h)
  • Blatt 2  (Abgabetermin: 30.10.2006, 12.30h)  Lösung zu Blatt 2
  • Blatt 3  (Abgabetermin: 06.11.2006, 12.30h)
  • Einige Gedanken zu Bemerkung 2.29  (Warum man nicht zwei Literale gleichzeitig resolvieren darf und warum man Tautologien entsprechnende Klauseln weglassen darf.)
  • Blatt 4  (Abgabetermin: 13.11.2006, 12.30h)
  • Einiges zu Resolutionen anhand der Aufgaben 6 und 7
• Prädikatenlogik
  • Blatt 5  (Abgabetermin: 20.11.2005, 12.30h)
  • Blatt 6  (Abgabetermin: 27.11.2006, 12.30h)
  • Blatt 7  (Abgabetermin: 04.12.2006, 12.30h)
  • Blatt 8  (Abgabetermin: 11.12.2006, 12.30h)  Lösung von Aufgabe 24
• Gleichungslogik
  • Blatt 9  (Abgabetermin: 18.12.2006, 12.30h)
  • Blatt 10  (Abgabetermin: 08.01.2007, 12.30h)
  • Der Knuth–Bendix–Vervollständigungsalgorithmus
• Modallogik
  • Blatt 11  (Abgabetermin: 15.01.2007, 12.30h)
  • Blatt 12  (Abgabetermin: 22.01.2007, 12.30h)
• Temporallogik
  • Blatt 13  (Abgabetermin: 29.01.2007, 12.30h; bzw. 05.02.2007, 12.30h)
• Wiederholungsblatt
  • Blatt 14  (Abgabetermin: 05.02.2007, 12.30h)

Übungsschein:

• Zur Erlangung des Übungsscheins sind eine regelmäßige und aktive Teilnahme an den Übungsstunden sowie das Bestehen der Klausur notwendig.
  
  
• Klausurtermine:
  • 1. Klausur: 12.02.2007, 9.00 Uhr bis 12.00 Uhr im Audimax und HGII/HS1 (Ergebnisse).
  • 2. Klausur: 30.03.2007, 9.00 Uhr bis 12.00 Uhr im Audimax (Ergebnisse).
  
  
• Anmeldung:
  • Zur ersten Klausur kann man sich in der Zeit vom 22.01.2007 bis 02.02.2007 anmelden.
    Liste der bereits Angemeldeten (nur Matrikelnummer) und die bisherige Sitzplatzverteilung (pdf).
  • Wer an der 2. Klausur teilnehmen möchte, muss sich anmelden. An der zweiten Klausur kann teilnehmen, wer die erste Klausur nicht bestanden oder an dieser nicht teilgenommen hat. Man muss nicht zur ersten Klausur angemeldet gewesen sein, um die zweite zu schreiben. Wer für die erste Klausur angemeldet war und diese nicht bestanden hat, ist nicht automatisch für die zweite Klausur angemeldet.
  • Zur zweiten Klausur kann man sich in der Zeit vom 07.03.2007 bis 21.03.2007 anmelden.
    Liste der bereits Angemeldeten (nur Matrikelnummer) und die bisherige Sitzplatzverteilung (pdf).
  
  
• Hilfsmittel sind bis auf Stifte keine zugelassen. Insbesondere sind nicht zugelassen: Computer, Taschenrechner, Skripte, Bücher.
  Wörterbücher dürfen benutzt werden, sofern nichts Handgeschriebenes drinsteht.
  Mitzubringen sind der Studierendenausweis und ein Lichtbildausweis (Personalausweis, Reisepass oder Führerschein).
  
  
• Klausureinsicht und -rückgabe:
  • Für die erste Klausur: Am Mittwoch, den 28.02.2007, von 10:00 bis 11:00 Uhr in M911 (Ergebnisse).
  • Für die zweite Klausur: Am Mittwoch, den 11.04.2007, von 18.00 bis 19.00 Uhr in M911 (Ergebnisse).
  
  
• Scheine werden direkt ans Prüfungsamt geschickt.

Zur Homepage von Prof. Martin Kreuzer: