Vorlesung "Logik für Informatiker"
(WS 2004/05, Universität Dortmund)

	Dozent:  Prof. Dr. Martin Kreuzer   Nr. im Vorlesungsverzeichnis:  010116
	Termin: Mo, 10 - 12 Uhr Ort: HS 1 in HG II Beginn: Mo, 11.10.2004
	Erwünschte Vorkenntnisse: Mathematik für Informatiker I + II
	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
	Vorlesungsskript Ab Ende Oktober bei der Skriptenverkaufstelle erhältlich! (Emil-Figge-Str. 50, Raum 0431, Tel. 755-2062)

Vorlesungsinhalt

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

• 0. Einführung

• 1. Aussagenlogik

  • A. Grundlagen
  • B. Das Resolutionskalkül der Aussagenlogik

• 2. Hornlogik

  • A. Grundlagen
  • B. Das Resolutionskalkül der Hornlogik
  • C. Logik-Programmierung

• 3. Prädikatenlogik

  • A. Grundlagen
  • B. Normalformen
  • C. Die Unentscheidbarkeit der Prädikatenlogik
  • D. Das Resolutionskalkül der Prädikatenlogik

• 4. Gleichungslogik

• 5. Modallogik

• 6. Temporallogik

  • A. Zeitlogik
  • B. Der UNTIL-Operator

• 7. Weitere logische Systeme

Übungen

• Mi, 8-9, (Mathematikgebäude)
• Mi, 9-10, (Mathematikgebäude)
• Mi, 12-13, (Mathematikgebäude)
• Mi, 13-14, (Mathematikgebäude)

Übungsblätter

• Blatt1   (Abgabetermin: 18.10.2004, 14h)
• Blatt2   (Abgabetermin: 25.10.2004, 14h)
• Blatt3   (Abgabetermin: 02.11.2004, 10h)
• Blatt4   (Abgabetermin: 08.11.2004, 14h)   Lösung von Aufgabe 11
• Blatt5   (Abgabetermin: 15.11.2004, 14h)   Lösung der Präsenzaufgabe
• Blatt6   (Abgabetermin: 22.11.2004, 14h)
• Blatt7   (Abgabetermin: 29.11.2004, 14h)
• Blatt8   (Abgabetermin: 06.12.2004, 14h)
• Blatt9   (Abgabetermin: 13.12.2004, 14h)
• Blatt10   (Abgabetermin: 03.01.2005, 14h)
• Blatt11   (Abgabetermin: 10.01.2005, 14h)
• Blatt12   (Abgabetermin: 17.01.2005, 14h)  Lösung von Aufgabe 28
• Blatt13   (Abgabetermin: 24.01.2005, 14h)
• Präsenzaufgabe 2

Übungsschein:

• Zur Erlangung des Übungsscheins sind eine regelmäßige und aktive Teilnahme an den Übungsstunden sowie das Bestehen der Klausur notwendig.
• Klausurtermine: 1. Klausur: 29.01.2005, 9.15 bis 12.15 Uhr
  2. Klausur: 08.04.2005, 13.45 bis 16.45 Uhr. Achtung: Die Klausur wurde wegen Terminüberschneidung von ursprünglich 13.15 Uhr nach hinten verschoben.
• Anmeldung: Wer an den Klausuren 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.
  Wer an der zweiten Klausur teilnehmen möchte, schreibt bitte eine E-Mail an logik at mathematik.uni-dortmund.de mit Name, Vorname (in der Reihenfolge!) und Matrikelnummer. Der Anmeldezeitraum ist vom 07.02.2005 bis zum 04.04.2005.
  Eine Liste der bereits Angemeldeten ist hier zu finden.
• Ort der 2. Klausur: Audimax
• 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).

• Die Ergebnisse der zweiten Klausur sind da!

  Ergebnisse der beiden Klausuren
• Klausureinsicht und -rückgabe: Donnerstag, 12.05.2005, 9h bis 10h in M 1011
• Scheine werden direkt ans Prüfungsamt geschickt.

Zur Homepage von Prof. Martin Kreuzer: