Vorlesung "Logik" / "Logik für Informatiker"
(WS 2005/06, 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, 17.10.2005
	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!

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

  • 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)
• Ausweichtermin: Di, 9-10, (Mathematikgebäude)

Übungsblätter

• Blatt1   (Abgabetermin: 24.10.2005, 12.30h)
• Blatt2   (Abgabetermin: 31.10.2005, 12.30h)
• Blatt3   (Abgabetermin: 07.11.2005, 12.30h)
• Blatt4   (Abgabetermin: 14.11.2005, 12.30h)
• Blatt5   (Abgabetermin: 21.11.2005, 12.30h)
• Blatt6   (Abgabetermin: 28.11.2005, 12.30h)
• Blatt7   (Abgabetermin: 05.12.2005, 12.30h)
• Blatt8   (Abgabetermin: 12.12.2005, 12.30h)
• Blatt9   (Abgabetermin: 09.01.2006, 12.30h)
• Blatt10   (Abgabetermin: 16.01.2006, 12.30h)   alternative Lösung zu Aufgabe 27
• Blatt11   (Abgabetermin: 23.01.2006, 12.30h)
• Blatt12   (Abgabetermin: 30.01.2006, 12.30h)
• Blatt13   (Abgabetermin: 06.02.2006, 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: 11.02.2006, 13.45 Uhr bis 16.45 Uhr
  2. Klausur: 08.04.2006, 9.15 Uhr bis 12.15 Uhr
  Die 2. Klausur ist für Studierende der Informatik und der Datenanalyse/des Datenmanagements dieselbe.


• Ort: Für die 2. Klausur das Audimax


• Anmeldung: 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. Die Anmeldung erfolgt bitte bis zum 31.03.2006.
  Bei Fragen zur 2. Klausur bitte an Holger Bluhm (M945, Tel. 3456,e-mail) wenden.
  
  
• 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 02.03.2006 von 10.00(s.t.) bis 11.00 Uhr in M1011.
  Für die zweite Klausur: am 11.05.2006 von 15.30 bis 16.30 Uhr in M540.
• Scheine werden direkt ans Prüfungsamt geschickt.
• Ergebnisse der ersten Klausur
• Ergebnisse der zweiten Klausur

Zur Homepage von Prof. Martin Kreuzer: