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

	Dozent:  Prof. Dr. Martin Kreuzer   Nr. im Vorlesungsverzeichnis:  010024
	Termin: Mo, 10 - 12 Uhr Ort: HS1 in EF Beginn: Mo, 14.10.2002
	Voraussetzungen: 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

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. Resoutionskalüle für die Hornlogik
  • C. Logik-Programmierung

• 3. Prädikatenlogik

• 4. Gleichungslogik

• 5. Modallogik

• 6. Temporallogik

• 7. Allgemeine logische Systeme

Übungen

• Di, 16-17: E19
• Di, 17-18: E19
• Mi, 12-13: E19, E23
• Mi, 13-14: E19, E23

Übungsblätter

• Blatt 1:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 18.10.2002, 14h)
• Blatt 2:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 25.10.2002, 14h)
• Blatt 3:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 04.11.2002, 12h)
• Blatt 4:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 08.11.2002, 14h)
• Blatt 5:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 15.11.2002, 14h)
• Blatt 6:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 22.11.2002, 14h)
• Blatt 7:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 29.11.2002, 14h)
• Blatt 8:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 06.12.2002, 14h)
• Blatt 9:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 13.12.2002, 14h), Achtung: geändert am 11.12.2002
• Blatt 10:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 06.01.2002, 12h)
• Blatt 11:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 10.01.2002, 12h)
• Blatt 12:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 17.01.2002, 14h)
• Blatt 13:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 24.01.2002, 14h)
• Blatt 14:  <dvi-Datei> <ps-Datei> <pdf-Datei>   (Abgabetermin: 31.01.2002, 14h)


• Blatt 15, Ferienblatt:   <dvi-Datei> <ps-Datei> <pdf-Datei>   (keine Abgabe!!!)

Übungsschein:

• Zur Erlangung des Übungsscheins sind eine regelmäßige und aktive Teilnahme an den Übungsstunden sowie das Bestehen der Klausur notwendig.

• Klausurtermine:

  08.02.2003, 13.15 - 16.15 Uhr
  10.05.2003, 9.15 - 12.15 Uhr im HG II, HS 1


• Klausurergebnisse der ersten und zweiten Klausur


• Scheine gibt's bei Frau Jahn im Raum 949, Mathematikgebäude.
  

  Achtung: Bitte die Scheine bis zum 29.07.2003 abholen!!!

Zur Homepage von Prof. Martin Kreuzer: